mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-10 05:40:21 +00:00

so commiting 4 commits all-in one: 1) update the version to 1.0.0 2) fix launching the campaign in the game 3) added builders menu for a better flexibility 4) added advanced preferences page 5) fix a problem when creating an already existant projecti