Dirk Heilig 957e8ebf79 use pngcrush		2024-01-29 20:24:33 +01:00
..
closed.png	use pngcrush	2024-01-29 20:24:33 +01:00
open.png	use pngcrush	2024-01-29 20:24:33 +01:00