diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2015-01-07 23:07:04 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2015-04-02 09:20:25 +0200 |
| commit | 95c59385950ca3012ba1b608250454271fb80707 (patch) | |
| tree | ab72e7820e043c47bf719b35d3a63f3a8fa1ddcc /grc/gui/Preferences.py | |
| parent | c201a582ea5a9e3f3c541b88f10079906705a0ca (diff) | |
grc: optional thread-safe setters in generated code (#748)
Diffstat (limited to 'grc/gui/Preferences.py')
0 files changed, 0 insertions, 0 deletions