6 Commits

Author	SHA1	Message	Date
Peter Dell	1c9e603ba5	Convert GIFs with transparency to PNGs with alpha channel	2023-02-26 15:29:51 +01:00
peterdell	f922e48517	Reformat all sources with "Eclipse [built-in]"	2021-09-18 01:15:08 +02:00
peterdell	d5697b30a8	Update to Java 11, Eclipse 2021-03 and year 2021	2021-04-01 14:41:43 +02:00
peterdell	56aac6d943	Update year to 2020	2020-10-16 22:41:45 +02:00
peterdell	afe4851e38	Update copyright to 2019 and https.	2019-01-12 23:07:17 +01:00
peterdell	f28730cdc1	Add Graphics plugin	2018-12-30 16:29:54 +01:00