Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Tell git to ignore tools/{dumpobj.opt,ocamlmktop.opt,ocamlmklib.opt}.

master
Sébastien Hinderer 2016-06-15 11:39:30 +02:00
parent 0323df74a7
commit 6bb28b617b
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitignore vendored
View File

@ -304,6 +304,7 @@
/tools/ocamlprof.opt
/tools/opnames.ml
/tools/dumpobj
/tools/dumpobj.opt
/tools/dumpapprox
/tools/ocamlobjinfo
/tools/ocamlobjinfo.opt
@ -317,6 +318,7 @@
/tools/ocamloptp
/tools/ocamloptp.opt
/tools/ocamlmktop
/tools/ocamlmktop.opt
/tools/primreq
/tools/primreq.opt
/tools/ocamldumpobj
@ -324,6 +326,7 @@
/tools/lexer299.ml
/tools/ocaml299to3
/tools/ocamlmklib
/tools/ocamlmklib.opt
/tools/ocamlmklibconfig.ml
/tools/lexer301.ml
/tools/scrapelabels