Sebastian Stenzel e827d86967 Merge pull request #1047 from zhouer/icons ...

Add multiple icons and let system choose the best size

2020-01-14 20:54:18 +01:00

..

buildkit

bumped version to 1.4.17

2019-10-31 00:54:09 +01:00

commons

updated license public key

2020-01-09 10:35:27 +01:00

keychain

bumped version to 1.4.17

2019-10-31 00:54:09 +01:00

launcher

shutdown logback manually

2019-12-11 13:53:32 +01:00

ui

Merge pull request #1047 from zhouer/icons

2020-01-14 20:54:18 +01:00

pom.xml

fixes #1038

2020-01-09 16:04:46 +01:00