Skip to content
GitLab
Explore
Sign in
Jakob Albert
Coq Packages
Repository
coq-packages
.gitmodules
Find file
Blame
History
Permalink
Use HTTPS for submodules
· eb6dcd15
Jakob Albert
authored
Aug 10, 2022
eb6dcd15