Andreas Huber c1974d21b2 replace startDate + dateRange with start and end date ...

The new datetimepicker can be used to specify date ranges. We no longer
need to define a start date and a range. This simplifies the code
for zooming and shifting considerably.

2018-08-11 17:45:20 +02:00

..

src/main

replace startDate + dateRange with start and end date

2018-08-11 17:45:20 +02:00

.gitignore

simple auto-completion for the search box

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

build.gradle

update 3rd party libs

2018-08-09 07:20:09 +02:00