Rev 10042 |
Last modification |
Compare with Previous |
View Log
| Download
| RSS feed
Last modification
- Rev 10046 2024-05-21 18:04:56
- Author: ace_dent
- Log message:
- 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.