Andrew Dent e626066eef Convert gif to optimized png images ... 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		2024-05-21 18:04:56 +00:00
..
trunk	Convert gif to optimized png images	2024-05-21 18:04:56 +00:00