Gildas dee66f4f17 replaced let with const vor 7 Jahren
..
bg-ui.js 10cdd8ab82 replaced "append the save date to the file name" with "template" option vor 7 Jahren
options.js 5376ca8b4e renamed config parameter vor 7 Jahren
ui-autosave.js 0e0009f231 always auto-save pages in background vor 7 Jahren
ui-button.js dee66f4f17 replaced let with const vor 7 Jahren
ui-menu.js 8ff56052ea i18n integration vor 7 Jahren