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