From 7be53b7ec9d46e6092404a97afbb305af3186fa7 Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Fri, 25 Oct 2019 15:38:51 +0200
Subject: [PATCH] Let Git know that tools/* are binary files

---
 .gitattributes | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitattributes b/.gitattributes
index 67631a2afbc..3a79906c277 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -1,5 +1,6 @@
 /build export-ignore
 /tools export-ignore
+/tools/* binary
 
 *.php diff=php