result in .gitignore + pretty printing

[tatoo.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index ed7118b..f22646a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,5 @@ _build
 *.byte
 doc/*.ps
 doc/*.out
-doc/html/*
\ No newline at end of file
+doc/html/*
+tests/results/*
\ No newline at end of file