Gildas 01807cabd8 added "tabMenuEnabled" option vor 6 Jahren
..
bg 01807cabd8 added "tabMenuEnabled" option vor 6 Jahren
content b83c6eca04 ensure auto-save is enabled when repeating auto-save vor 6 Jahren
pages 27e09f8de4 moved files into "/core" vor 6 Jahren