Commit 9cf6c1f
committed
submodule: clone from https.
This should fix the error in EasyCrypt/easycrypt#7251 parent 9544bf4 commit 9cf6c1f
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
1 parent 9544bf4 commit 9cf6c1f
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
0 commit comments