diff options
author | Anton Khirnov <anton@khirnov.net> | 2022-11-23 14:48:01 +0100 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2022-11-23 14:59:30 +0100 |
commit | 6efa11a7c0b782e7745bec92d45dc573d4a079cc (patch) | |
tree | e5580af3ad02a70f9b8fb6e0a55511c6ba62b488 /src/cactus_build | |
parent | eaba0ed20c7385a6120ba7b0a6d3786405315c68 (diff) |
Fix cactus_build and mg2d submodules.
Point to the branches actually used in the thesis, not wildly outdated
commits.
Diffstat (limited to 'src/cactus_build')
m--------- | src/cactus_build | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/cactus_build b/src/cactus_build -Subproject 22d7472bb551fb7e558e065d167948a8a05e41a +Subproject 79852fce3df0b8137fdadbdd34f6ce7eba54645 |