diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-03-29 16:39:30 +0200 |
|---|---|---|
| committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2017-04-26 19:28:17 +0200 |
| commit | 255720556f04f99f61a7eaed42546405bb97f2e1 (patch) | |
| tree | 56cb480c953250d83df8a216365c54c4f459a486 /.gitattributes | |
| parent | e7cf3b18467d930a33f378dab9bc8482fa35d43b (diff) | |
| download | ocaml-255720556f04f99f61a7eaed42546405bb97f2e1.tar.gz | |
Simplify installation of OCaml header (.h) files
The tools/cleanup-header script has no effect any more, so stop
calling it during make install and remove it from the repository.
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitattributes b/.gitattributes index a816cdfe11..f78a284521 100644 --- a/.gitattributes +++ b/.gitattributes @@ -105,7 +105,6 @@ stdlib/Compflags text eol=lf stdlib/sharpbang text eol=lf tools/check-typo text eol=lf tools/ci-build text eol=lf -tools/cleanup-header text eol=lf tools/msvs-promote-path text eol=lf tools/gdb-macros text eol=lf tools/magic text eol=lf |