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