kc3-lang/kc3

diff --git a/.gitignore b/.gitignore
index 8675ec9..76718d3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,6 +23,12 @@ libc3/config.h
 .libs/
 *.lo
 *.o
+test/facts_test_dump_file.facts
+test/facts_test_log_add.facts
+test/facts_test_log_remove.facts
+test/facts_test_open_file.1.facts
+test/facts_test_open_file.3.facts
+test/facts_test_save.facts
 test/ic3/*.diff
 test/ic3/*.err
 test/ic3/*.out