catbref a4f2cf50b0 Updated node management UI (was previously "bundled ui") ...

Fix root path redirects for node management UI and API documentation servlets.

2019-07-23 12:44:10 +01:00

..

AutoUpdate.java

AutoUpdate: added comment about mandatory use of OpenJDK JRE, not Java SE

2019-07-22 18:01:56 +01:00

Controller.java

Updated node management UI (was previously "bundled ui")

2019-07-23 12:44:10 +01:00

Synchronizer.java

Synchronization improvements

2019-07-23 12:22:17 +01:00