From: Kevin M. Rosenberg <kevin@rosenberg.net>
Date: Mon, 12 Feb 2018 05:04:44 +0000 (-0700)
Subject: Ignore temporary build files
X-Git-Url: http://git.kpe.io/?a=commitdiff_plain;h=aefdae1b07333369a1f0b8f0567930c644b9754c;p=snark14.git

Ignore temporary build files
---

diff --git a/examples/.gitignore b/examples/.gitignore
new file mode 100644
index 0000000..5ab3ae0
--- /dev/null
+++ b/examples/.gitignore
@@ -0,0 +1,17 @@
+*/b?.out
+*/file11
+*/prjfil
+*/recfil
+*/eval
+*/*/.o
+b1/punch
+b10/eval
+b11/b11.out
+b11/RPRTsuperiorization
+b11/RPRTklds
+b11/MAPUser1
+b10/b10.out
+b2/src/*.o
+*/MapUser1
+b9/src/*.o
+b7/MAPUser1