diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-08-15 18:32:20 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-08-15 18:32:20 +0200 |
| commit | 506c982a02d1cd2d68e1169db3175b5639f0a2b6 (patch) | |
| tree | 620b992c66a43d13ca4a7d660c8a7b43bd8e3904 /gr-utils/python/modtool/modtool_makexml.py | |
| parent | 842d8c9d9aac5f7a48a78a9d6babc865570b81c8 (diff) | |
grc: renaming 'Build' menu to 'Run'
Suggested by Mike Ossmann
Diffstat (limited to 'gr-utils/python/modtool/modtool_makexml.py')
0 files changed, 0 insertions, 0 deletions