aboutsummaryrefslogtreecommitdiffstats
path: root/options/gitignore/OCaml
Commit message (Expand)AuthorAgeFilesLines
* Update gitignore list (#5258)Antoine GIRARD2018-11-031-0/+3
* Bindata is optional and over-writable on restart (#354)Thomas Boerger2016-12-221-0/+20