From 9d0f55ed027045541870449b7e27263c60f8ebe6 Mon Sep 17 00:00:00 2001
From: Jeroen Meijer <jjgmeijer@gmail.com>
Date: Thu, 28 Jun 2018 13:55:56 +0200
Subject: [PATCH] Ignore compiled files from gnulib.

---
 .gitignore     |  1 +
 lib/.gitignore | 12 ++++++++++++
 2 files changed, 13 insertions(+)
 create mode 100644 lib/.gitignore

diff --git a/.gitignore b/.gitignore
index 4735a03..32304c3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@
 
 autotools/
 ltl2ba
+ltl2ba.exe
 *.o
 *.lo
 *.la
diff --git a/lib/.gitignore b/lib/.gitignore
new file mode 100644
index 0000000..1fd71c2
--- /dev/null
+++ b/lib/.gitignore
@@ -0,0 +1,12 @@
+alloca.h
+errno.h
+limits.h
+math.h
+stdint.h
+stdio.h
+string.h
+resource.h
+time.h
+types.h
+wchar.h
+