andi 955127dc4a use buffered writer ...

despite my previous test, writing the csv is a little bit faster with
a buffered writer (~ 10-15%)

2017-09-23 20:22:15 +02:00

..

src/main

use buffered writer

2017-09-23 20:22:15 +02:00

.gitignore

simple auto-completion for the search box

2016-12-23 10:32:51 +01:00

build.gradle

update 3rd-party libraries

2017-09-23 18:24:51 +02:00