Revision 54c9cfef4a209b138a01e7548b96687ad92a8b7d authored by Maarten Derickx on 19 December 2024, 10:54:44 UTC, committed by Maarten Derickx on 19 December 2024, 10:54:44 UTC
1 parent d124129
.gitmodules
[submodule "Magma"]
path = Magma
url = https://github.com/AndrewVSutherland/Magma.git

Computing file changes ...