Gildas 93439cfd29 delete info if empty 6 年 前
..
autosave.js 34ccd5f277 removed extension/index.js 6 年 前
business.js 5909443455 integration of the annotation editor (fixes #161) 6 年 前
config.js 93439cfd29 delete info if empty 6 年 前
devtools.js 50e99850b6 fix issue with non-persistent bg page 6 年 前
downloads.js 3f52f6ca87 fixed revoke token 6 年 前
editor.js db434be938 moved files into editor/ 6 年 前
messages.js 5909443455 integration of the annotation editor (fixes #161) 6 年 前
tabs-data.js d20e511e57 renamed variable allTabsdata to tabsData 6 年 前
tabs.js a6769b6e76 refactored code extraction 6 年 前