diff options
| author | Théo Zimmermann | 2019-02-25 10:53:57 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-25 10:53:57 +0100 |
| commit | 34dd54baafb68f2efc07701e2b0f8c7b95b12cba (patch) | |
| tree | f0e86c7fd81e17ee2a7e98ca45c6d02f7f98888a /.gitattributes | |
| parent | c37e90b67c74b32837409a9a424757246067ef1b (diff) | |
| parent | 878fe50b288d52eeda84be386a28fe3c6b029f30 (diff) | |
Merge PR #9511: Enable whitespace checking for some forgotten files.
Reviewed-by: Zimmi48
Diffstat (limited to '.gitattributes')
| -rw-r--r-- | .gitattributes | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/.gitattributes b/.gitattributes index 47538be4a3..fcfd795b2f 100644 --- a/.gitattributes +++ b/.gitattributes @@ -21,7 +21,10 @@ tools/CoqMakefile.in whitespace=blank-at-eol *.c whitespace=blank-at-eol,tab-in-indent *.css whitespace=blank-at-eol,tab-in-indent *.dtd whitespace=blank-at-eol,tab-in-indent +dune* whitespace=blank-at-eol,tab-in-indent +*.dune whitespace=blank-at-eol,tab-in-indent *.el whitespace=blank-at-eol,tab-in-indent +*.fake whitespace=blank-at-eol,tab-in-indent *.g whitespace=blank-at-eol,tab-in-indent *.h whitespace=blank-at-eol,tab-in-indent *.html whitespace=blank-at-eol,tab-in-indent @@ -32,12 +35,13 @@ tools/CoqMakefile.in whitespace=blank-at-eol *.md whitespace=blank-at-eol,tab-in-indent *.merlin whitespace=blank-at-eol,tab-in-indent *.ml whitespace=blank-at-eol,tab-in-indent -*.ml4 whitespace=blank-at-eol,tab-in-indent +*.mlg whitespace=blank-at-eol,tab-in-indent *.mli whitespace=blank-at-eol,tab-in-indent *.mll whitespace=blank-at-eol,tab-in-indent *.mllib whitespace=blank-at-eol,tab-in-indent *.mlp whitespace=blank-at-eol,tab-in-indent *.mlpack whitespace=blank-at-eol,tab-in-indent +*.nix whitespace=blank-at-eol,tab-in-indent *.nsh whitespace=blank-at-eol,tab-in-indent *.nsi whitespace=blank-at-eol,tab-in-indent *.py whitespace=blank-at-eol,tab-in-indent @@ -51,6 +55,10 @@ tools/CoqMakefile.in whitespace=blank-at-eol *.xml whitespace=blank-at-eol,tab-in-indent *.yml whitespace=blank-at-eol,tab-in-indent +.gitattributes whitespace=blank-at-eol,tab-in-indent +_CoqProject whitespace=blank-at-eol,tab-in-indent +Dockerfile whitespace=blank-at-eol,tab-in-indent + # CR is desired for these Windows files. *.bat whitespace=cr-at-eol,blank-at-eol,tab-in-indent |