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 |
|