From: Peter Michael Green <plugwash@raspbian.org>
Date: Wed, 20 Sep 2023 15:06:07 +0000 (+0100)
Subject: Remove gitattributes that cause problems for dgit.
X-Git-Tag: archive/raspbian/4.14.1-1+rpi1~2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=38fea32b4f3004e7f14c5c3602927c48bafadff1;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 956d2136..a278ffe0 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -151,7 +151,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
 
 aclocal.m4 typo.tab
 configure.ac text eol=lf