From db8d1b34d6532db203ba1cccb98d400b5908e817 Mon Sep 17 00:00:00 2001 From: Tiago Oliveira Date: Tue, 25 Apr 2023 17:18:36 +0100 Subject: [PATCH] submodules: submodules @ libjade/submodules ++ crypto-specs links in proof --- .gitmodules | 5 ++++- proof/crypto-specs | 1 + submodules/crypto-specs | 1 + {ext => submodules}/ssbd-tools | 0 4 files changed, 6 insertions(+), 1 deletion(-) create mode 120000 proof/crypto-specs create mode 160000 submodules/crypto-specs rename {ext => submodules}/ssbd-tools (100%) diff --git a/.gitmodules b/.gitmodules index 950fc53a..7633cd5f 100644 --- 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 = git@github.com:formosa-crypto/crypto-specs.git diff --git a/proof/crypto-specs b/proof/crypto-specs new file mode 120000 index 00000000..b76fc4f2 --- /dev/null +++ b/proof/crypto-specs @@ -0,0 +1 @@ +../submodules/crypto-specs/ \ No newline at end of file diff --git a/submodules/crypto-specs b/submodules/crypto-specs new file mode 160000 index 00000000..c07ff650 --- /dev/null +++ b/submodules/crypto-specs @@ -0,0 +1 @@ +Subproject commit c07ff6501d73e2e2ed64e8017ace31b637b5b2f2 diff --git a/ext/ssbd-tools b/submodules/ssbd-tools similarity index 100% rename from ext/ssbd-tools rename to submodules/ssbd-tools