GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-28 08:34:23 +03:00
Code Issues Projects Releases Wiki Activity

Fix repo urls

Browse Source
This commit is contained in:
Joe Hendrix 2018-04-25 00:32:43 -07:00
parent 72b667a49c
commit 655491bae3
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.gitmodules vendored
View File

@ -12,7 +12,7 @@
url = https://github.com/GaloisInc/parameterized-utils.git
[submodule "deps/crucible"]
path = deps/crucible
url = git@github.com:GaloisInc/crucible.git
url = https://github.com/GaloisInc/crucible.git
[submodule "deps/llvm-pretty"]
path = deps/llvm-pretty
url = git@github.com:elliottt/llvm-pretty.git
url = https://github.com/elliottt/llvm-pretty.git