Update sherlodoc

Checkout out to EmileTrotignon/sherlodoc#1
Julow · Oct 7, 2024 · 4a3b8b8 · 4a3b8b8
1 parent 9d40c86
commit 4a3b8b8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,4 +1,4 @@
 [submodule "sherlodoc"]
 	path = sherlodoc
-	url = https://github.com/EmileTrotignon/sherlodoc
+	url = https://github.com/Julow/sherlodoc
 	branch = odoc3_compat
diff --git a/sherlodoc b/sherlodoc