diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2015-11-06 16:25:05 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2015-11-06 16:25:05 +0100 |
| commit | 7cb9a80744aa47c1eb7bf4b1a32cfaf320fc8ef8 (patch) | |
| tree | c3cfa57589a2216efa5bcc7aef55f46570b317c9 /boot | |
| parent | 1fb2a8166c70c92b620c5b57385ab373f3e69852 (diff) | |
| download | ocaml-7cb9a80744aa47c1eb7bf4b1a32cfaf320fc8ef8.tar.gz | |
simplify .gitignore; remove .ignore files and tools/setignore; adjust tools/check-typo
Diffstat (limited to 'boot')
| -rw-r--r-- | boot/.ignore | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/boot/.ignore b/boot/.ignore deleted file mode 100644 index 30c5866b7c..0000000000 --- a/boot/.ignore +++ /dev/null @@ -1,6 +0,0 @@ -Saved -ocamlrun -ocamlrun.exe -ocamlyacc -ocamlyacc.exe -camlheader |