diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-06-02 08:51:53 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-02 08:51:53 +0100 |
commit | c6a4920a1d8cf756d87c7608e0208eb8a7f121dd (patch) | |
tree | 8ff54dee2f0d80cd8f074dc836be2fd2f4a1bfa4 /.gitmodules | |
parent | 6f322ea44c68783a733acbc70ff34f1d7654243e (diff) | |
download | cohpred-c6a4920a1d8cf756d87c7608e0208eb8a7f121dd.tar.gz cohpred-c6a4920a1d8cf756d87c7608e0208eb8a7f121dd.zip |
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index b37459b..603c82f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "lib/smtcoq"] path = lib/smtcoq - url = git@gitlab.inria.fr:compcertgssa/smtcoq + url = https://git.sr.ht/~ymherklotz/smtcoq |