Paulo Reis ed659fd973 Minor UI improvements.		2016-06-21 14:20:23 +01:00
..
editor	Minor UI improvements.	2016-06-21 14:20:23 +01:00
list	Fix translate in delete modal confirm button	2016-03-22 14:44:13 +00:00
editor.jade	Don't reload editor with file tree or PDF viewer hidden	2016-02-23 15:21:54 +00:00
list.jade	slighly change layout of notifications & insert html via angular	2016-02-04 12:11:45 +00:00