patch ddc-head: war3: use /tmp dir for scratch space

[Ben Lippmeier]

Sun Jul 10 03:07:44 EDT 2011  Ben Lippmeier <b...@ouroborus.net>
  * war3: use /tmp dir for scratch space

    M ./tools/war3/Main.hs -1 +1

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