../ widelands-0.17-cxxflags.patch 09-Aug-2015 20:34 1733 widelands-0.17-gcc47.patch 09-Aug-2015 20:34 247