summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndre A. Gomes <andremegafone@gmail.com>2024-05-25 18:18:26 +0300
committerAndre A. Gomes <andremegafone@gmail.com>2024-05-27 16:50:16 +0300
commit28fa1ddf4f5263976fd26825dbbeb7e0bc914b47 (patch)
treeccbc5b7c33631f87a63ae98890924b910c235aa1
parentd4845c3746f2016a86b9203957dab919b0e174aa (diff)
gitmodules: Fix misc-extensions.
-rw-r--r--.gitmodules6
m---------_build/devel0
m---------_build/misc-extensions0
3 files changed, 3 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules
index e11f95513..6cf2f4325 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -302,9 +302,9 @@
path = _build/fset
url = https://github.com/slburson/fset
shallow = true
-[submodule "_build/devel"]
- path = _build/devel
- url = https://gitlab.common-lisp.net/misc-extensions/devel.git
+[submodule "_build/misc-extensions"]
+ path = _build/misc-extensions
+ url = https://gitlab.common-lisp.net/misc-extensions/misc-extensions.git
shallow = true
[submodule "_build/iolib"]
path = _build/iolib
diff --git a/_build/devel b/_build/devel
deleted file mode 160000
-Subproject 101c05112bf2f1e1bbf527396822d2f50ca6327
diff --git a/_build/misc-extensions b/_build/misc-extensions
new file mode 160000
+Subproject aef8a125fee27db18e6e8d1ef4526b68d592ee8