Revision d1241293f2f9bb31910e4edce8816b569daaf1eb authored by Maarten Derickx on 17 December 2024, 15:53:37 UTC, committed by Maarten Derickx on 17 December 2024, 15:53:37 UTC
1 parent 0138e3a
.gitmodules
[submodule "Magma"]
path = Magma
url = https://github.com/AndrewVSutherland/Magma.git

Computing file changes ...