Andreas Huber 37eb05aebf use unix timestamps in the CSVs used by gnuplot ...

This is faster by factor 4, because we don't have to format the date.

2017-09-24 09:38:08 +02:00

..

src/main

use unix timestamps in the CSVs used by gnuplot

2017-09-24 09:38:08 +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