diff options
| author | Christian Glöckner <cgloeckner@freenet.de> | 2016-01-22 12:32:10 +0100 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2016-02-09 09:03:16 +0100 |
| commit | e30fbdecd1e80c2145eac9a9e97d6b0ee14343b2 (patch) | |
| tree | ced0d43618b92e31de8508c8371210f561b3e2ed /plugingui/widget.cc | |
| parent | a477617c55b15fd721ed04d4dd57e334bcf27f77 (diff) | |
workaround outdated compiler version
Diffstat (limited to 'plugingui/widget.cc')
0 files changed, 0 insertions, 0 deletions