Peter Dell 1c9e603ba5 Convert GIFs with transparency to PNGs with alpha channel		2023-02-26 15:29:51 +01:00
..
common	Rework LanguageAnnotationValues and add test	2023-02-13 00:22:46 +01:00
editor
gui
hardware	Convert GIFs with transparency to PNGs with alpha channel	2023-02-26 15:29:51 +01:00
BasePlugin.java
Texts_de.properties
Texts.java
Texts.properties