Ignacio R. Morelle e122da96e4 update_server: Use $HOME/source for SOURCE_ROOT
... instead of hardcoding a path in /usr. This should let server2 and
server3 use an unmodified copy of the script.
2014-06-11 22:53:38 -04:00
..
2013-08-24 19:34:22 +02:00
2011-12-17 16:37:19 +00:00
2013-06-23 10:07:53 +02:00
2013-03-26 10:44:47 -04:00
2013-08-22 12:54:51 +02:00
2011-03-12 01:21:10 +00:00
2014-03-02 09:53:30 +01:00
2014-03-18 03:05:10 -03:00
2011-03-24 20:52:22 +00:00
2013-03-26 10:44:47 -04:00

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.