Skip to content

Commit 3cb0cb8

Browse files
shaobo-heshaobo-he
committed
Restored sea-dsa link
1 parent ac6bb46 commit 3cb0cb8

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎.gitmodules

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
[submodule "sea-dsa"]
22
path = sea-dsa
3-
url = https://github.com/shaobo-he/sea-dsa.git
3+
url = https://github.com/seahorn/sea-dsa.git

0 commit comments

Comments
 (0)