GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-23 16:35:02 +03:00
Code Issues Projects Releases Wiki Activity

Update s-cargot and s-cargot-letbind submodule versions (0.1.4.0, 0.2.2.0).

Browse Source
This commit is contained in:
Kevin Quick 2018-03-05 14:05:39 -08:00
parent ce8ebff929
commit b6816799ad
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
submodules/s-cargot

@ -1 +1 @@
Subproject commit 68e8eb150f334ec81eac813f76e80c9a8dd4cc7f
Subproject commit f1754ef254330562d0c05675a5e11ca6257dec74

2
submodules/s-cargot-letbind

@ -1 +1 @@
Subproject commit 0430fe9e248dd0fc5815a692055472915dacb6eb
Subproject commit 1bc74764bcfcc7344089a984c00900db91266dad