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