Gildas 3bc5ecc1ca bump version vor 5 Jahren
..
editor-helper-web.js 3bc5ecc1ca bump version vor 5 Jahren
editor-init-web.js 6b9b6df022 use ES6 modules in the extension code vor 5 Jahren
editor-web.js 0fa1eed337 fix missing notes in saved pages (fix 624) vor 5 Jahren