diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-07-04 21:58:26 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-07-11 23:25:31 +0200 |
| commit | 02db08d26e992a0c9c90b382ce9809d39283a910 (patch) | |
| tree | 769f2a91551d0876b7d7699d798eb37773542a9c /grc/gui/Preferences.py | |
| parent | 085c35a375468179929b690a0d7f037dc6ef23bf (diff) | |
grc: auto-hide port labels
Diffstat (limited to 'grc/gui/Preferences.py')
0 files changed, 0 insertions, 0 deletions