Merge pull request #1700 from davidpfarrell/docs/fix_make_bat

Adds better support for .bat files; Fixes docs/make.bat
pull/1701/head
Noah Gorny 2020-11-03 19:44:08 +02:00 committed by GitHub
commit 447448b357
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 39 additions and 35 deletions

3
.gitattributes vendored
View File

@ -1,2 +1,5 @@
*.sh text eol=lf *.sh text eol=lf
*.bash text eol=lf *.bash text eol=lf
# Windows files
*.bat text eol=crlf

View File

@ -25,3 +25,4 @@ repos:
hooks: hooks:
# - id: forbid-crlf # - id: forbid-crlf
- id: remove-crlf - id: remove-crlf
exclude: ".bat$"