diff options
author | Andrej Rode <mail@andrejro.de> | 2018-07-24 18:54:30 +0200 |
---|---|---|
committer | Marcus Müller <marcus@hostalia.de> | 2018-07-30 16:45:39 +0200 |
commit | 744f658316a20dbbb14d01092742c446c7b95522 (patch) | |
tree | f076d91d6d54c576543947c5929ee4cb1f3e135e /grc/gui/VariableEditor.py | |
parent | 55bfe6683ef7fe810a642d71a6af983f21b9842a (diff) |
grc: fix docs parsing without losing docs
Diffstat (limited to 'grc/gui/VariableEditor.py')
0 files changed, 0 insertions, 0 deletions