michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix cloning issue

Browse source
This commit is contained in:
Hemant Gouni 2021-08-16 21:41:37 +00:00
parent 8fec0eb208
commit 61b2259d99
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.gitmodules vendored
View file

@ -1,3 +1,3 @@
[submodule "standard-library"] [submodule "standard-library"]
path = standard-library path = standard-library
url = git@github.com:agda/agda-stdlib.git url = https://github.com/agda/agda-stdlib.git