* bin/.gitignore: Ignore genaut binary.

0c69649b · Thomas Medioni · f4070187 · 0c69649b
Commit 0c69649b authored Apr 28, 2017 by Thomas Medioni
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

bin/.gitignore bin/.gitignore +1 -0

No files found.
--- a/bin/.gitignore
+++ b/bin/.gitignore
 autfilt
 dstar2tgba
+genaut
 genltl
 ltl2tgba
 ltl2tgta