Merge pull request #1796 from guicho271828/master

quicklisp · web-flow · commit e80a6b1d9e2a · 2020-02-10T18:04:24.000-05:00
changing the organization of cl-sat, cl-sat.glucose, cl-sat.picosat, …
diff --git a/projects/cl-maxsat/source.txt b/projects/cl-maxsat/source.txt
@@ -1 +1 @@
-git https://github.com/guicho271828/cl-maxsat.git
+git https://github.com/cl-model-languages/cl-maxsat.git
diff --git a/projects/cl-prolog2/source.txt b/projects/cl-prolog2/source.txt
@@ -1 +1 @@
-git https://github.com/guicho271828/cl-prolog2.git
+git https://github.com/cl-model-languages/cl-prolog2.git
diff --git a/projects/cl-sat.glucose/source.txt b/projects/cl-sat.glucose/source.txt
@@ -1 +1 @@
-git https://github.com/guicho271828/cl-sat.glucose.git
+git https://github.com/cl-model-languages/cl-sat.glucose.git
diff --git a/projects/cl-sat.minisat/source.txt b/projects/cl-sat.minisat/source.txt
@@ -1 +1 @@
-git https://github.com/guicho271828/cl-sat.minisat.git
+git https://github.com/cl-model-languages/cl-sat.minisat.git
diff --git a/projects/cl-sat/source.txt b/projects/cl-sat/source.txt
@@ -1 +1 @@
-git https://github.com/guicho271828/cl-sat.git
+git https://github.com/cl-model-languages/cl-sat.git

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-git https://github.com/guicho271828/cl-maxsat.git`
	`1`	`+git https://github.com/cl-model-languages/cl-maxsat.git`