7 lines
272 B
Text
7 lines
272 B
Text
|
|
[submodule "Core/Frameworks/Formal"]
|
|
path = Core/Frameworks/Formal
|
|
url = https://jeromeschneider@github.com/jeromeschneider/Formal.git
|
|
[submodule "Core/Frameworks/Flake"]
|
|
path = Core/Frameworks/Flake
|
|
url = https://jeromeschneider@github.com/jeromeschneider/Flake.git
|