Andreas Huber bb7701e7c4 use enum for line type instead of string

2018-01-21 11:01:30 +01:00

..

src/main

use enum for line type instead of string

2018-01-21 11:01:30 +01:00

.gitignore

simple auto-completion for the search box

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

build.gradle

update third party libs

2017-12-30 10:06:57 +01:00