Update sherlodoc

Checkout out to EmileTrotignon/sherlodoc#1
Julow · Oct 4, 2024 · b73ed53 · b73ed53
1 parent 0f071e8
commit b73ed53
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