forks/baikal
1
0
Fork 0
Code Releases Activity

WIP. Simplifying Core/ structure (no more symlinks)

Browse source
This commit is contained in:
Jérôme Schneider 2012-08-20 23:04:51 +02:00
parent dc4ef33784
commit cd8ed966c0
4 changed files with 1 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.gitmodules vendored
View file

@ -1,6 +1 @@
[submodule "CoreVersions/0.2.1/Frameworks/Flake"]
path = CoreVersions/0.2.1/Frameworks/Flake
url = https://github.com/jeromeschneider/Flake.git
[submodule "CoreVersions/0.2.1/Frameworks/Formal"]
path = CoreVersions/0.2.1/Frameworks/Formal
url = https://github.com/jeromeschneider/Formal.git

1
Core
View file

@ -1 +0,0 @@
CoreVersions/0.2.1

1
CoreVersions/0.2.1/Frameworks/Flake

@ -1 +0,0 @@
Subproject commit 1de6d8dc3d6408619cd23dda28ce7d6284ad63e9

1
CoreVersions/0.2.1/Frameworks/Formal

@ -1 +0,0 @@
Subproject commit d83f38d3880a82650ea4f93c815a8211245f58fe