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
..
_old	Convert gif to optimized png images	2024-05-21 18:04:56 +00:00
ConLenov	Update Tupfile.lua's for tup-0.8	2024-05-21 14:45:21 +00:00
dunkaist	Update Tupfile.lua's for tup-0.8	2024-05-21 14:45:21 +00:00
Leency	Update Tupfile.lua's for tup-0.8	2024-05-21 14:45:21 +00:00
maxcodehack/blacky	Update Tupfile.lua's for tup-0.8	2024-05-21 14:45:21 +00:00
misc	Update Tupfile.lua's for tup-0.8	2024-05-21 14:45:21 +00:00
authors.txt	skins: clean and update	2021-07-04 18:01:23 +00:00
skin.inc	skins: use global skin.inc	2019-09-08 05:21:54 +00:00
skinlist.lua	Add Yaru-dark skin from ConLenov	2024-03-28 15:28:26 +00:00