diff options
| author | groud <gilles.roudiere@gmail.com> | 2018-10-18 15:23:04 +0200 |
|---|---|---|
| committer | groud <gilles.roudiere@gmail.com> | 2018-10-18 15:23:04 +0200 |
| commit | 6cf13e881c799d84f96587fea4267cd337c08f68 (patch) | |
| tree | 7655de5add8c40b4e906ce9b93a3602aceb7aec0 /modules/dds/config.py | |
| parent | ebdb374d803ce224bc4d3bae33726a1aaa6c09a0 (diff) | |
Allow the editor dock to have a lower width
Diffstat (limited to 'modules/dds/config.py')
0 files changed, 0 insertions, 0 deletions