From 00afc92b0c0a938365c494f1ee32b18ef46fa9ba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9my=20L=C3=A9one?= <remy.leone@gmail.com>
Date: Thu, 22 Oct 2015 16:19:39 +0200
Subject: [PATCH] Add binary files file extension

---
 .gitattributes | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitattributes b/.gitattributes
index a491beb33..85605b183 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -10,3 +10,5 @@
 # Denote all files that are truly binary and should not be modified.
 *.png binary
 *.jpg binary
+*.ihex binary
+*.s37 binary