diff options
author | Bent Bisballe Nyeng <deva@aasimon.org> | 2015-05-21 20:56:56 +0200 |
---|---|---|
committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2015-05-21 20:56:56 +0200 |
commit | 28776a862e6a00f4209c95531592c1abe08448f2 (patch) | |
tree | df44515d98cc2d84b5e1a4ef962ebca3d5e64f57 /plugingui/pluginconfig.cc | |
parent | 560c26d33c76fee45b04e92ffd36ce885c357db6 (diff) |
override not supported by our build servers, so better not use it yet.
Diffstat (limited to 'plugingui/pluginconfig.cc')
0 files changed, 0 insertions, 0 deletions