mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-13 19:42:39 +00:00
a579c90777
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
This is a directory of miscellaneous developer tools for Battle for Wesnoth, mostly to support packaging, code integrity checks, and control of the Wesnoth servers. Tools that work on data (WML, maps, images, sounds) no longer belong here. Go to data/tools for those.