AnDE #28

Merged
rmontanana merged 15 commits from AnDE into main 2024-05-15 09:16:13 +00:00
Showing only changes of commit c0fc107abb - Show all commits

5
.gitmodules vendored
View File

@ -13,3 +13,8 @@
url = https://github.com/rmontanana/folding
main = main
update = merge
[submodule "tests/lib/catch2"]
path = tests/lib/catch2
url = https://github.com/catchorg/Catch2.git
main = main
update = merge