sat #29570 : set SAT_prodname__IS_NATIVE variables at build time to help compilations...

[tools/sat.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 9fae73ef5e515178396d6a591f2300e565685f39..856c9cd716eec205162f72f449e158d7c8fb021c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -14,6 +14,7 @@ test/htmlcov
 test/test_res.html
 doc/src/commands/apidoc*
 .idea
+.spyderproject
 
 # Byte-compiled / optimized / DLL files
 __pycache__/