catbref 14686e1e0d Corrected wrong Synchronization enum result		2019-07-23 10:06:16 +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	Synchronization improvements	2019-07-22 18:35:30 +01:00
Synchronizer.java	Corrected wrong Synchronization enum result	2019-07-23 10:06:16 +01:00