zadam b68b0fe783 Merge branch 'master' into dev31

2019-03-13 21:53:41 +01:00

..

images

protected note's shield background now looks better on the dark themes

2019-03-04 20:53:57 +01:00

javascripts

Merge branch 'master' into dev31

2019-03-13 21:53:41 +01:00

libraries

fix image upload for ckeditor v12

2019-03-04 22:58:47 +01:00

stylesheets

fix background/border on quick help dialog, closes #440

2019-03-09 18:57:21 +01:00

robots.txt

added robots.txt to public root

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