diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-12-03 15:04:05 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-12-03 16:27:29 +0100 |
| commit | ef95b0ea9d49c0f2cc29a1b135df5133cddb0f80 (patch) | |
| tree | fdf5ba473f8cfffd1f1e7b7057d22889ded9ff2a /grc/gui/Element.py | |
| parent | e68643bb7c7134c88f38a26b22830a4897590f1e (diff) | |
grc: domain-specific port keys
Diffstat (limited to 'grc/gui/Element.py')
0 files changed, 0 insertions, 0 deletions