aboutsummaryrefslogtreecommitdiffstats
path: root/options/gitignore/Coq
Commit message (Expand)AuthorAgeFilesLines
* [skip ci] Updated licenses and gitignoresGiteaBot2021-05-161-1/+3
* Add make targed generate-license & generate-gitignore + Update (#12682)65432020-09-021-0/+10
* chore: update gitignore list (#9437)Antoine GIRARD2019-12-191-0/+3
* Synced gitignores with github repo (#1245)Thomas Boerger2017-03-151-1/+28
* Bindata is optional and over-writable on restart (#354)Thomas Boerger2016-12-221-0/+3