diff options
author | kobewi <kobewi4e@gmail.com> | 2022-11-06 20:53:20 +0100 |
---|---|---|
committer | kobewi <kobewi4e@gmail.com> | 2022-11-07 13:06:59 +0100 |
commit | c89100e5718d035698b5dc34a20a2950fd86acfb (patch) | |
tree | de785ee7d892bb895370ddf5035e52480ae5fbdc /doc/translations | |
parent | f814e15c7f60a685e8b3623fc93231c18ccd3627 (diff) |
Allow to disable History Dock via feature profile
Diffstat (limited to 'doc/translations')
0 files changed, 0 insertions, 0 deletions