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