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