diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-08-25 19:50:16 +0200 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-09-01 23:17:06 +0200 |
| commit | cbb92d28178fa579017528e781ef06e6c001a424 (patch) | |
| tree | 3d0b7853788c652a9c38b237e425bb9f0e0d3b83 /.gitignore | |
| parent | ac265e9ea337bd4ea795da49d8c283c5f18b7c6b (diff) | |
| download | ocaml-cbb92d28178fa579017528e781ef06e6c001a424.tar.gz | |
remove unused ocamlyacc dependencies, never put it in boot/
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index a1ecc3a0ff..8d7b25bffa 100644 --- a/.gitignore +++ b/.gitignore @@ -56,7 +56,6 @@ _ocamltestd /asmcomp/CSE.ml /boot/ocamlrun -/boot/ocamlyacc /boot/camlheader /bytecomp/runtimedef.ml |