zadam 6b61b0604a improve hiding of edit button #2787

2022-05-01 22:44:23 +02:00

..

app

improve hiding of edit button #2787

2022-05-01 22:44:23 +02:00

fonts

tree visual changes, fonts etc.

2021-05-23 20:26:54 +02:00

stylesheets

workaround for wrongly placed tooltip, closes #2794

2022-04-16 15:51:30 +02:00

manifest.webmanifest

Add web app manifest (#1174)

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

robots.txt

add allow robots.txt tag for /share

2022-03-22 21:02:32 +01:00