| .. |
|
bg
|
5e4d4766ee
merged pendingSaves and currentSaves maps
|
6 years ago |
|
content
|
2f4c4e4dde
avoid cutting notes
|
6 years ago |
|
devtools
|
b146f8d3df
moved singlefile dependencies into extension/lib
|
6 years ago |
|
editor
|
190f2f8acf
reorganized icons
|
6 years ago |
|
pages
|
90015db8ca
minor fixes
|
6 years ago |
|
resources
|
0a471c1f35
Allow restoring removed elements one by one
|
6 years ago |
|
index.js
|
a1aa22a1e5
split extension/index.js
|
6 years ago |
Gildas