Andreas Huber f1980b1963 log more details about search performance

2020-09-20 19:52:08 +02:00

..

src

log more details about search performance

2020-09-20 19:52:08 +02:00

.gitignore

ignore hs_err_pid files

2019-10-09 19:03:13 +02:00

build.gradle

update libraries

2020-09-19 19:00:56 +02:00