Update sherlodoc

Checkout out to EmileTrotignon/sherlodoc#1
Julow · Oct 7, 2024 · 6d7ee97 · 6d7ee97
1 parent a9b6365
commit 6d7ee97
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