diff --git a/.gitignore b/.gitignore index dab2d80..d4bb7f9 100644 --- a/.gitignore +++ b/.gitignore @@ -12,6 +12,7 @@ **/*.tkzfct.* **/*.tdo **/*.amc +**/*.xsim **/tmp/*