Alexander Söderberg 7687d7705b Fix merge issue		2020-07-10 18:38:14 +02:00
..
src	Fix merge issue	2020-07-10 18:38:14 +02:00
build.gradle	Replace the R-tree library with PRTree. Fix SquirrelID shading issues. Bump the version to 5.12.0	2020-05-25 15:13:31 +02:00
pom.xml	Add more documentation to the settings.yml	2020-05-27 22:20:13 +02:00