Index: .gitignore
===================================================================
--- .gitignore	(revision 874960bb718cca327cd78b5bbe5e995b770b03a7)
+++ .gitignore	(revision c95b11526c10568ee3415f3873af592f6779ea99)
@@ -52,4 +52,6 @@
 tools/prettyprinter/pretty
 tools/pretty
+tools/catchsig
+tools/repeat
 
 # generated by xfig for user manual