zadam 928c8bfdf7 Merge remote-tracking branch 'origin/stable'

2021-03-23 22:47:42 +01:00

..

app

Merge remote-tracking branch 'origin/stable'

2021-03-23 22:47:42 +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