Revision 0ce44c4dd6ee462dc2de4341d5e3b86bc795c05a authored by Maarten Derickx on 20 December 2024, 13:16:45 UTC, committed by Maarten Derickx on 20 December 2024, 13:16:45 UTC
1 parent 54c9cfe
.gitmodules
[submodule "Magma"]
path = Magma
url = https://github.com/AndrewVSutherland/Magma.git

Computing file changes ...