forks/baikal
1
0
Fork 0
Code Releases Activity

Flake and Formal submodules are removed.

Browse source
This commit is contained in:
Jérôme Schneider 2012-11-19 13:44:23 +01:00
parent 77cb6182e8
commit cbb76ad2a8
3 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.gitmodules vendored
View file

@ -1,7 +1 @@
[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

1
Core/Frameworks/Flake

@ -1 +0,0 @@
Subproject commit 3679cb4a0dbc808f9200f495a2e1f6a3dd0fe4ca

1
Core/Frameworks/Formal

@ -1 +0,0 @@
Subproject commit 1663200604730cd7bf27795f3d215b226e050431