patch ddc-head: war3: allow number of threads to be set on command line

[Ben Lippmeier]

Fri Jul  8 22:14:17 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * war3: allow number of threads to be set on command line

    M ./tools/war3/Main.hs -5 +14

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe