From 3fb05b3906c755f5361477eee44dea729cb6ecb1 Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Thu, 30 Nov 2023 07:11:34 +0700 Subject: [PATCH] .gitignore: Add gecode-gist.msc --- .gitignore | 1 + 1 file changed, 1 insertion(+) 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