Merge branch 'master' of git.martlubbers.net:clean-tests

[clean-tests.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 6938473..c17b393 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,9 @@ a.out
 getopt
 *.[^l]
 *.o
+*.bc
+*.pbc
 test
 gopt
 afp/a[0-9]/a[0-9]
+afp/a1[0-9]/a1[0-9]