Gunter Labes 7241160454 rename gmon.out when the server terminates
add some error messages
2008-03-27 00:45:08 +00:00
..
2007-08-22 15:48:16 +00:00
2007-08-29 15:50:13 +00:00
2007-09-22 15:28:12 +00:00
2007-04-06 00:22:22 +00:00
2007-08-14 16:12:55 +00:00

This is a directory of miscellaneous developer tools for Battle Of Wesnoth,
mostly to support packaging, code integrity checks, and control of the
Wesnoth campaign server.

Tools that work on data (WML, maps, images, sounds) no longer belong here.  
Go to data/tools for those.