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