Elvish_Hunter 759c3414f3 Merge pull request #804 from matthiaskrgr/woptipng-script
add woptipng png compression script
2017-01-15 21:53:16 +01:00
..
2013-08-24 19:34:22 +02:00
2016-10-09 08:46:39 +02:00
2013-03-26 10:44:47 -04:00
2014-03-18 03:05:10 -03: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.