X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=examples%2F.gitignore;h=98b08ac4cf3dccd7544aa6c86174f98ab2c97c86;hb=f226f2a72e220da8394437a738834a1d3d2a6704;hp=58e9c649e20f36d78599fde53d5432a390854acb;hpb=4ada89c0093f3a52206de5afa817793c234df5e8;p=snark14.git diff --git a/examples/.gitignore b/examples/.gitignore index 58e9c64..98b08ac 100644 --- 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