Peter Dell 62102443b5 Convert GIFs in com.wudsn.ide.snd to PNG		2023-02-26 16:41:38 +01:00
..
editor	Convert GIFs in com.wudsn.ide.snd to PNG	2023-02-26 16:41:38 +01:00
player	Fix sound editor export (missing music address), fix type texts and missing date	2022-09-10 16:45:35 +02:00
SoundPlugin.java	Update to Java 11, Eclipse 2021-03 and year 2021	2021-04-01 14:41:43 +02:00
Texts_de.properties	Rename properties files from de_DE to de, so all regions match	2021-09-29 00:49:50 +02:00
Texts.java	Reformat all sources with "Eclipse [built-in]"	2021-09-18 01:15:08 +02:00
Texts.properties	Initial commit	2018-12-30 16:52:33 +01:00