summaryrefslogtreecommitdiffstats
path: root/.gitignore
AgeCommit message (Expand)Author
2014-12-27PR#5887: move the byterun/*.h headers to byterun/caml/*.h to avoid header nam...Gabriel Scherer
2014-12-27PR#6714: allow [@@ocaml.warning] on most structure and signature items (value...Gabriel Scherer
2014-12-14update .gitignoreGabriel Scherer
2014-10-04Document -ppx option.Gabriel Scherer
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez
2014-08-15Refresh .gitignoreGabriel Scherer
2014-05-01[minor] auto-generate a .gitignore using `git svn show-ignore`Gabriel Scherer
2014-04-23Add a .gitignore file for git usersFabrice Le Fessant