Conversion from gif to png. Lossless optimization of image files, using `pngslim` and other tools.
Documentation only artwork (distributed outside a program):
- Slimmed 8.6 KiB (~8.1 KiB kpacked), average ~30% saving for 9 files.
git-svn-id: svn://kolibrios.org@10046 a494cfbc-eb01-0410-851d-a64ba20cac60
Rename all the me_skin.inc and my_skin.inc to skin.inc.
Read BMP header size from file, don't hardcode.
Make all the skins use the same skin.inc.
Speed up compilation of skins.
git-svn-id: svn://kolibrios.org@7119 a494cfbc-eb01-0410-851d-a64ba20cac60