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