diff options
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 |