Gildas 5889f46132 minor fixes 6 tahun lalu
..
bg b7f024ae23 merged pendingSaves and currentSaves maps 6 tahun lalu
content 273948be39 avoid cutting notes 6 tahun lalu
devtools 0c950e0873 moved singlefile dependencies into extension/lib 6 tahun lalu
editor c202b1c354 reorganized icons 6 tahun lalu
pages 5889f46132 minor fixes 6 tahun lalu
resources 81ecad4265 Allow restoring removed elements one by one 6 tahun lalu
index.js 3e4f246140 split extension/index.js 6 tahun lalu