mingw: fix Ubuntu 13.10 / Debian Wheezy mingw mess
[olsrd.git] / make / getmingwversion.bash
2014-01-28 Ferry Hubertsmingw: fix Ubuntu 13.10 / Debian Wheezy mingw mess
2014-01-28 Ferry Hubertswin32: accomodate old and new mingw setups