summaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Expand)AuthorAge
* Augment '.gitignore'.Ludovic Courtès2018-01-22
* build: Don't generate ".version" since it has no use.Mathieu Lirzin2017-01-23
* maint: Generate version number.Mathieu Lirzin2016-12-28
* doc: Add Cuirass manual.Mathieu Lirzin2016-12-04
* Evaluate derivations in a separate process.Mathieu Lirzin2016-07-13
* Add 'basic.sh' test.Mathieu Lirzin2016-07-03
* build: Generate config.scm at configure time.Mathieu Lirzin2016-06-10
* Initial commit.Mathieu Lirzin2016-05-29