diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-06-20 17:16:35 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-06-20 17:16:35 +0200 |
commit | 507f27ccb07845938023d9741aa9fcc00d0b7e64 (patch) | |
tree | 9a8345ff48c173bfa588139e7d2f44e265525292 /.gitignore | |
parent | e09d24d2706728c632f9e60ff665b046277e5088 (diff) | |
download | ocaml-507f27ccb07845938023d9741aa9fcc00d0b7e64.tar.gz |
Makefile, .gitignore: remove `make backup` leftovers
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 3e5b055beb..e27139392a 100644 --- a/.gitignore +++ b/.gitignore @@ -99,7 +99,6 @@ _ocamltestd /asmrun/weak.c /asmrun/win32.c -/boot/Saved /boot/ocamlrun /boot/ocamlyacc /boot/camlheader |