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/Makefile.mingw32 | |
| parent | 560c26d33c76fee45b04e92ffd36ce885c357db6 (diff) | |
override not supported by our build servers, so better not use it yet.
Diffstat (limited to 'plugingui/Makefile.mingw32')
0 files changed, 0 insertions, 0 deletions