summaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Expand)AuthorAgeFilesLines
* simplify .gitignore; remove .ignore files and tools/setignore; adjust tools/c...Damien Doligez2015-11-061-2624/+66
* Add asmrun/backtrace.c to .gitignoreGabriel Scherer2015-08-221-0/+1
* PR#5887: move the byterun/*.h headers to byterun/caml/*.h to avoid header nam...Gabriel Scherer2014-12-271-3/+3
* PR#6714: allow [@@ocaml.warning] on most structure and signature items (value...Gabriel Scherer2014-12-271-0/+21
* update .gitignoreGabriel Scherer2014-12-141-0/+67
* Document -ppx option.Gabriel Scherer2014-10-041-0/+1
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-3/+120
* Refresh .gitignoreGabriel Scherer2014-08-151-3/+54
* [minor] auto-generate a .gitignore using `git svn show-ignore`Gabriel Scherer2014-05-011-119/+2590
* Add a .gitignore file for git usersFabrice Le Fessant2014-04-231-0/+119