Hans Mackowiak 5854a2ff36 GUI: make many call getChoices and not order

2020-10-03 08:29:57 +02:00

..

src

GUI: make many call getChoices and not order

2020-10-03 08:29:57 +02:00

pom.xml

[maven-release-plugin] prepare for next development iteration

2020-07-14 02:04:44 +00:00

sentry.properties

initial Sentry integration

2018-09-02 11:30:38 -06:00