summary refs log tree commit diff
path: root/.gitignore
AgeCommit message (Collapse)Author
2022-06-14Makefile: POSIXifyilliliti
Makefile now compatible with gmake, bmake, smake and pdpmake.
2016-03-29new layout, put LICENSE in rootQuentin Carbonneaux
2016-03-27move paper synchronization to top makefileQuentin Carbonneaux
2015-09-15move ml prototype in a subdirQuentin Carbonneaux
2015-09-15change name of test fileQuentin Carbonneaux
2015-09-15add an untracked directoryQuentin Carbonneaux
2015-09-15add gitignoreQuentin Carbonneaux