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

create web application

2016-12-21 17:48:36 +01:00

build.gradle

make it possible to specify the time in the range

2017-03-27 19:38:02 +02:00