diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-02-24 15:16:24 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-02-24 15:16:24 +0000 |
commit | 9e35f6174b012d1ca7eef9921169e34c62c993dd (patch) | |
tree | 8ed10b5802a91afa6198b9c8fcb5a7286b8ae2d7 | |
parent | a1d20be8f5001f6d833b530908b9ada25d140e1b (diff) | |
download | vericert-9e35f6174b012d1ca7eef9921169e34c62c993dd.tar.gz vericert-9e35f6174b012d1ca7eef9921169e34c62c993dd.zip |
Delete docs submodule
-rw-r--r-- | .gitmodules | 3 | ||||
m--------- | docs | 0 |
2 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 87bab2d..f30817e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ [submodule "lib/CompCert"] path = lib/CompCert url = https://github.com/ymherklotz/CompCert.git -[submodule "docs"] - path = docs - url = https://github.com/ymherklotz/vericert-docs diff --git a/docs b/docs deleted file mode 160000 -Subproject be7d734e2cbf3f2619f83ad284cfd31f4fc3682 |