idris-0.10.1: icons/idris_icon.rc

0 ICON "idris.ico"