diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-10 15:19:12 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-10 15:19:12 +0100 |
commit | 03657cbafde3c0c6f32b2ca96b4efd664b46226a (patch) | |
tree | 1a02a9d1a21b924240b488c8210190c9b85a2e18 | |
parent | 89c2c8af2c900e82328369da54bfeabcd86ea1ca (diff) | |
download | vericert-kvx-03657cbafde3c0c6f32b2ca96b4efd664b46226a.tar.gz vericert-kvx-03657cbafde3c0c6f32b2ca96b4efd664b46226a.zip |
Remove CompCert
-rw-r--r-- | .gitmodules | 4 | ||||
m--------- | lib/CompCert | 0 |
2 files changed, 0 insertions, 4 deletions
diff --git a/.gitmodules b/.gitmodules index 32f1268..e69de29 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,4 +0,0 @@ -[submodule "lib/CompCert"] - path = lib/CompCert - url = https://git.sr.ht/~ymherklotz/compcert-kvx - branch = vericert-kvx diff --git a/lib/CompCert b/lib/CompCert deleted file mode 160000 -Subproject 4f467596f8674f5f4fbf84a793cb8fcfc35a44a |