GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 05:45:51 +03:00
Code Issues Projects Releases Wiki Activity

Update llvm-pretty submodule target

Browse Source
This commit is contained in:
Eric Mertens 2024-05-23 16:23:39 -07:00
parent 77a6c62352
commit 3b0933d95c
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

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