Jérôme Schneider
|
cbb76ad2a8
|
Flake and Formal submodules are removed.
|
2012-11-19 13:44:23 +01:00 |
|
Jérôme Schneider
|
424053f6a5
|
Submodules are reattached.
|
2012-08-20 23:13:04 +02:00 |
|
Jérôme Schneider
|
cd8ed966c0
|
WIP. Simplifying Core/ structure (no more symlinks)
|
2012-08-20 23:04:51 +02:00 |
|
Jérôme Schneider
|
1333353921
|
Formal is now a git submodule, pointing to https://github.com/jeromeschneider/Formal.git
|
2012-08-08 09:52:06 +02:00 |
|
Jérôme Schneider
|
3984b17c84
|
Flake is now handled as a git submodule, pointing to https://github.com/jeromeschneider/Flake.git
|
2012-08-07 17:42:22 +02:00 |
|