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

.gitignore fix: /tools/cvt_emit.opt was mentionned twice.

master
Sébastien Hinderer 2016-06-15 11:42:37 +02:00
parent 6bb28b617b
commit 63436acb38
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -312,7 +312,6 @@
/tools/cvt_emit.opt
/tools/cvt_emit.bak
/tools/cvt_emit.ml
/tools/cvt_emit.opt
/tools/ocamlcp
/tools/ocamlcp.opt
/tools/ocamloptp