Patrick Moriarty eb437ff642 Add mobile dropdown for plugin buttons (#1762) ...

* Add mobile toolbar buttons

* cleanup

* more cleanup

* Mobile plugin buttons: Add else block & change icon

2021-03-18 21:09:08 +01:00

..

app

Add mobile dropdown for plugin buttons (#1762)

2021-03-18 21:09:08 +01:00

stylesheets

allow search result to be moved from tree to relation map, fixes #1650

2021-02-18 22:30:55 +01:00

manifest.webmanifest

Add web app manifest (#1174)

2020-08-12 21:39:12 +02:00

robots.txt

added robots.txt to public root

2018-12-19 20:56:10 +01:00