diff options
| author | Robin Gareus <robin@gareus.org> | 2015-09-11 13:21:16 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-09-11 13:21:16 +0200 |
| commit | 6048d2cd2319976c039843e3981013e42350dc3a (patch) | |
| tree | 019a11b32c59ce28aa22a7fe2854318ecfc34a13 /tools/bug_tool | |
| parent | 9fcc48d140ffcb2d22ca92952047b31337ee9b1c (diff) | |
Have GUI Option reflect current state (in case toggle fails)
Diffstat (limited to 'tools/bug_tool')
0 files changed, 0 insertions, 0 deletions