Andreas Huber cc71a32d27 make location of gnuplot configurable

2017-03-19 20:04:07 +01:00

..

src/main

make location of gnuplot configurable

2017-03-19 20:04:07 +01:00

.gitignore

simple auto-completion for the search box

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

build.gradle

update third party libraries

2017-03-17 16:23:21 +01:00