diff --git a/.gitignore b/.gitignore index 8dcad627a409b037defec8343932975673f556af..88f1e3d163df36509059ed0a0b09fa9b016e996d 100644 --- a/.gitignore +++ b/.gitignore @@ -6,7 +6,5 @@ Conversion.iml test/result.txt test/out_1.mzn test/raw_result.txt -experiment/raw_result.txt -experiment/result.txt -experiment/in.ipp -experiment/conversion_0.dzn +experiment/* +