gitmodules: Fix misc-extensions.

atlas-engineer · May 25, 2024 · 832174d · 832174d
1 parent b409b56
commit 832174d
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -298,9 +298,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
diff --git a/_build/misc-extensions b/_build/misc-extensions