Merge branch 'master' of ssh://git.medonline.com:8822/srv/git/repos/snark14

[snark14.git] / examples / .gitignore

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