.settings
|
PR #39 merged
|
2018-05-15 23:10:59 +02:00 |
src
|
Global config, config reload error check, fixes
|
2019-12-10 01:47:52 +01:00 |
.classpath
|
PR #39 merged
|
2018-05-15 23:10:59 +02:00 |
.gitignore
|
Plugin update on shutdown+fromcmd
|
2018-05-07 20:01:36 +02:00 |
.project
|
Plugin update on shutdown+fromcmd
|
2018-05-07 20:01:36 +02:00 |
License.md
|
Plugin update on shutdown+fromcmd
|
2018-05-07 20:01:36 +02:00 |
pom.xml
|
Update to Java 10/11
|
2019-10-20 20:48:24 +02:00 |