README
1Please run src/tools/resources/optimize-png-files.sh on all new icons. For example: 2 tools/resources/optimize-png-files.sh -o2 new_pngs_dir 3 4If this script does not work for some reason, at least pngcrush the files: 5 mkdir crushed 6 pngcrush -d crushed -brute -reduce -rem alla new/*.png 7