Sets / file-icons / dafny
64px
px
px
COLORS
ROTATE & FLIP
0°