Gildas 9bb01fb143 move devtools folder into core há 5 anos atrás
..
bg d5036a6d62 add support of file drag and drop in the editor há 5 anos atrás
content 73cf54933d ignore errors when updating UI elements (fix #540) há 5 anos atrás
pages 533d350820 remove obsolete rule há 5 anos atrás
resources fd9dbfc0c3 add print button in the annotation editor há 5 anos atrás
index.js 49e6d1a17d updated copyright date há 6 anos atrás