diff --git a/.gitignore b/.gitignore index 50c3a0b54a..3783a1d855 100644 --- a/.gitignore +++ b/.gitignore @@ -18,6 +18,7 @@ CMakeFiles bin gecode/support/config.hpp tools/flatzinc/gecode.msc +tools/flatzinc/gecode-gist.msc tools/flatzinc/mzn-gecode.bat tools/flatzinc/fzn-gecode tools/flatzinc/mzn-gecode