azivner 0d6ccd7f61 change in default keyboard shortcuts

2017-12-18 23:41:13 -05:00

..

images

updated icon (solid background)

2017-11-16 22:28:19 -05:00

javascripts

change in default keyboard shortcuts

2017-12-18 23:41:13 -05:00

libraries

fancytree upgrade & cleanup

2017-12-16 00:19:15 -05:00

stylesheets

fixed background of protected notes

2017-12-16 21:27:42 -05:00