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 /misc | |
| parent | f814e15c7f60a685e8b3623fc93231c18ccd3627 (diff) | |
Allow to disable History Dock via feature profile
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions