diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-11-02 19:14:07 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-11-02 19:14:07 +0100 |
| commit | 8d62df788b01c76e47806f04dc6f064acda334ef (patch) | |
| tree | 61611cfbfe34ca59a8ce3ee431e1eb69b0a856ec /grc/python/extract_docs.py | |
| parent | 3f318477ae779ff4cd46728dd223ed092c5b5b1b (diff) | |
grc: fix xterm setting check
Diffstat (limited to 'grc/python/extract_docs.py')
0 files changed, 0 insertions, 0 deletions