GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 00:42:28 +03:00
Code Issues Projects Releases Wiki Activity

Anoter semmc submodule reference update.

Browse Source
This commit is contained in:
Kevin Quick 2018-05-17 15:08:06 -07:00
parent b76f5164b7
commit 4a3688cad1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
submodules/semmc

@ -1 +1 @@
Subproject commit b5af0413e32e6c4a73140e77b89146f22b6ae223
Subproject commit c71ec2c55d9f2023985a17201839cd4a7a9c7ffb