Andreas Huber 58f8606cd3 use special logger for insertion metrics ...

This allows us to enable/disable metric logging without having to log 
other stuff.

2017-04-13 20:12:00 +02:00

..

src

use special logger for insertion metrics

2017-04-13 20:12:00 +02:00

.gitignore

new file format

2016-12-27 10:24:56 +01:00

build.gradle

update third-party libraries

2017-04-08 08:18:39 +02:00