aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Update Makefile and gitignoreYann Herklotz2019-11-041-7/+7
* Add Args change to MakefileYann Herklotz2019-11-041-1/+1
* Add Makefile and _CoqProjectYann Herklotz2019-11-041-0/+22