X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=examples%2F.gitignore;h=c6c71e3e80a701d86d88a806766fd156f217e903;hb=7f00420c23e31db8b519ea7d665e5a74f3d9d980;hp=5ab3ae0538d7d3d10b7fc9afae8dc8f6206fd23a;hpb=aefdae1b07333369a1f0b8f0567930c644b9754c;p=snark14.git

diff --git a/examples/.gitignore b/examples/.gitignore
index 5ab3ae0..c6c71e3 100644
--- a/examples/.gitignore
+++ b/examples/.gitignore
@@ -15,3 +15,9 @@ b2/src/*.o
 */MapUser1
 b9/src/*.o
 b7/MAPUser1
+b9/snark_e.in
+b9/snark_e.out
+b9/fomfil.1
+b9/MAPUser1
+*/snark.lock
+b9/testem.1