libminizinc icon indicating copy to clipboard operation
libminizinc copied to clipboard

Option to not suppress warnings after 20

Open cyderize opened this issue 10 months ago • 0 comments

This issue is track a feature request made in https://github.com/MiniZinc/MiniZincIDE/issues/212 to add an option to disable suppression of warnings and emit all of them.

cyderize avatar Feb 18 '25 02:02 cyderize