From 0c69649ba14ce0393b195e0dd41e4ba3fce0ff59 Mon Sep 17 00:00:00 2001
From: Thomas Medioni <tmedioni@lrde.epita.fr>
Date: Fri, 28 Apr 2017 12:17:44 +0200
Subject: [PATCH] * bin/.gitignore: Ignore genaut binary.

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

diff --git a/bin/.gitignore b/bin/.gitignore
index f62b9ac8c..27ff66e07 100644
--- a/bin/.gitignore
+++ b/bin/.gitignore
@@ -1,5 +1,6 @@
 autfilt
 dstar2tgba
+genaut
 genltl
 ltl2tgba
 ltl2tgta