diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2016-09-05 20:17:08 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2016-09-05 20:17:08 +0200 |
| commit | 862286609e87a80f9ded71408372d74818337fb1 (patch) | |
| tree | 094f9caa3e4f811cfe3c6eb0718a080792101d10 | |
| parent | 6d41a10469156fc6e906c70822b254c997781ca8 (diff) | |
grc: remove wxgui generate mode
| -rw-r--r-- | grc/blocks/options.xml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/grc/blocks/options.xml b/grc/blocks/options.xml index e03269292c..806fe85693 100644 --- a/grc/blocks/options.xml +++ b/grc/blocks/options.xml @@ -65,10 +65,6 @@ else: self.stop(); self.wait()</callback> <key>qt_gui</key> </option> <option> - <name>WX GUI</name> - <key>wx_gui</key> - </option> - <option> <name>No GUI</name> <key>no_gui</key> </option> |