From 8a82518d6b6633b8664bb59aecc2a71e9bec4153 Mon Sep 17 00:00:00 2001
From: Fabian Schlenz <mail@fabianonline.de>
Date: Sat, 25 May 2019 20:31:23 +0200
Subject: [PATCH] Ignore tools/*.gif, because they might be copyrighted.

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

diff --git a/.gitignore b/.gitignore
index 0e56cf2..8dc2008 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 config.h
+tools/*.gif