MiniZincIDE icon indicating copy to clipboard operation
MiniZincIDE copied to clipboard

Published 20 hours ago • verified publisher icon MiniZinc

The cheat-sheet window has no icon

Open yurivict opened this issue 3 years ago • 0 comments

yurivict avatar May 02 '21 20:05 yurivict