summaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Expand)AuthorAge
* 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