MiniZincIDE icon indicating copy to clipboard operation
MiniZincIDE copied to clipboard
verified publisher icon MiniZinc

The cheat-sheet window has no icon

Open yurivict opened this issue 4 years ago • 0 comments

yurivict avatar May 02 '21 20:05 yurivict