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