Dirk Heilig 957e8ebf79 use pngcrush		2024-01-29 20:24:33 +01:00
..
dl	make banner color change by door status	2024-01-27 10:13:23 +01:00
doorstatus	use pngcrush	2024-01-29 20:24:33 +01:00
img	use pngcrush	2024-01-29 20:24:33 +01:00