diff options
author | Andre A. Gomes <andremegafone@gmail.com> | 2024-05-25 18:18:26 +0300 |
---|---|---|
committer | Andre A. Gomes <andremegafone@gmail.com> | 2024-05-27 16:50:16 +0300 |
commit | 28fa1ddf4f5263976fd26825dbbeb7e0bc914b47 (patch) | |
tree | ccbc5b7c33631f87a63ae98890924b910c235aa1 | |
parent | d4845c3746f2016a86b9203957dab919b0e174aa (diff) |
gitmodules: Fix misc-extensions.
-rw-r--r-- | .gitmodules | 6 | ||||
m--------- | _build/devel | 0 | ||||
m--------- | _build/misc-extensions | 0 |
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 |