From a492473a3e4958780776963b7b69dac8ef3ec4cd Mon Sep 17 00:00:00 2001
From: Erwan Velu <erwan@enovance.com>
Date: Mon, 15 Jul 2013 12:05:01 +0200
Subject: [PATCH] tools: Adding gitignore

Nothing like a clean git status ;o)
---
 tools/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 tools/.gitignore

diff --git a/tools/.gitignore b/tools/.gitignore
new file mode 100644
index 00000000..b25c15b8
--- /dev/null
+++ b/tools/.gitignore
@@ -0,0 +1 @@
+*~
-- 
2.25.1