Axel Uhl 772ec406d8 Merge branch 'master' into permission-vertical

2019-04-22 23:05:07 +02:00

..

internal

warning-free workspace after upgrading to MongoDB 3.x APIs, eliminating deprecation issues

2018-12-10 23:22:20 +01:00

Activator.java

Merge branch 'master' into permission-vertical

2018-12-03 09:03:56 +01:00

AlreadyRegisteredException.java

normalized line endings

2017-05-16 09:42:02 +02:00

MongoDBConfiguration.java

bug 5004: rank by windward distance from leg start instead of windward distance to go;

2019-04-21 20:55:02 +02:00

MongoDBService.java

warning-free workspace after upgrading to MongoDB 3.x APIs, eliminating deprecation issues

2018-12-10 23:22:20 +01:00