Skip to content

Commit cf17210

Browse files
committed
Added cl-buchberger per issue #2261
1 parent cb65927 commit cf17210

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

projects/cl-buchberger/source.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
git https://github.com/jmbr/cl-buchberger.git
1+
git https://git.sr.ht/~jmbr/cl-buchberger

0 commit comments

Comments
 (0)