Use icotool to generate .ico files instead of png2ico

Authored by dschmidt on May 2 2018, 4:48 PM.

Description

Use icotool to generate .ico files instead of png2ico

Details

Committed
dschmidtMay 2 2018, 4:48 PM
Parents
R877:1d326c3f7d22: Fix info file
Branches
Unknown
Tags
Unknown