begin to fix 8596, 8908, 8605, 8638, 10458, 8646, 8576

[tools/sat.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index b24ed44b027cdbf8f6e87f520c03bfb941702b54..86431c49c75dd6ae97c4f64ffba4c404d95d072d 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,6 @@ sat-py3
 doc/build
 .coverage
 test/htmlcov
+test/test_res.html
+doc/src/commands/apidoc*
+.idea