Commit message (Expand) | Author | Age | |
---|---|---|---|
* | update ignore file | Christian Grothoff | 2019-02-19 |
* | add missing ignores | Christian Grothoff | 2019-02-14 |
* | ignore generated files, one mroe | Christian Grothoff | 2019-02-13 |
* | add first sketch of gns benchmarking tool | Christian Grothoff | 2018-05-12 |
* | - add subdirectory gitignore files | Bart Polot | 2016-11-09 |