summaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Expand)AuthorAge
* CleanupGregor Kleen2019-06-07
* Further workGregor Kleen2019-05-30
* Much ado about nothingGregor Kleen2018-12-18
* Ignore generated cabal filesGregor Kleen2017-11-23
* Initial work on central definitionsGregor Kleen2017-11-13
* Cleaned up build frameworkGregor Kleen2017-10-25
* Provide literature.bibtexGregor Kleen2017-10-25
* Discuss Incremental Analysis of Real Programming LanguagesGregor Kleen2017-10-24
* Ignore compilation resultsGregor Kleen2017-10-24