add ubuntu package to INSTALL

[snark14.git] / examples / .gitignore

diff --git a/examples/.gitignore b/examples/.gitignore
index 4366f41d37e0c95c9ce4e354567a8d50c552ec6a..98b08ac4cf3dccd7544aa6c86174f98ab2c97c86 100644 (file)
--- a/examples/.gitignore
+++ b/examples/.gitignore
@@ -12,5 +12,6 @@ b9/snark_e.in
 b9/snark_e.out
 b9/fomfil.1
 b9/testem.1
-b11/RPRTsuperiorization
-b11/RPRTklds
+*/RPRTsuperiorization
+*/RPRTklds
+.have_run