submodules: submodules @ libjade/submodules ++ crypto-specs links in …

…proof
tfaoliveira-sb · Apr 25, 2023 · db8d1b3 · db8d1b3
1 parent 7a5548a
commit db8d1b3
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "ext/ssbd-tools"]
-	path = ext/ssbd-tools
+	path = submodules/ssbd-tools
 	url = https://github.com/tyhicks/ssbd-tools.git
+[submodule "submodules/crypto-specs"]
+	path = submodules/crypto-specs
+	url = [email protected]:formosa-crypto/crypto-specs.git
diff --git a/proof/crypto-specs b/proof/crypto-specs
@@ -0,0 +1 @@
+../submodules/crypto-specs/
diff --git a/submodules/crypto-specs b/submodules/crypto-specs
diff --git a/ext/ssbd-tools → submodules/ssbd-tools b/ext/ssbd-tools → submodules/ssbd-tools