From: Peter Michael Green <plugwash@raspbian.org>
Date: Sat, 7 Dec 2019 05:28:18 +0000 (+0000)
Subject: Remove gitattributes that cause problems for dgit.
X-Git-Tag: archive/raspbian/4.11.1-5+rpi1~2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=e8e9e1c80de211a40327dbccfe4e132da78c6692;p=ocaml.git

Remove gitattributes that cause problems for dgit.


Gbp-Pq: Name remove-gitattributes-that-cause-problems.patch
---

diff --git a/.gitattributes b/.gitattributes
index 200eb49c..a917a270 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -140,7 +140,6 @@ menhir-bench.bash typo.missing-header typo.utf8
 *.check-program-output text eol=lf
 *.run text eol=lf
 
-/tools/ci/appveyor/appveyor_build.cmd text eol=crlf
 
 configure.ac text eol=lf
 build-aux/compile text eol=lf