Mon, 11 Oct 2010 14:51:10 +0100 Johan Groth Merge.
Fri, 08 Oct 2010 15:18:03 +0100 Johan Groth Changed make tool to mingw32-make.
Fri, 08 Oct 2010 15:15:08 +0100 Johan Groth Added make stage of tools build.
(0) -1000 -300 -100 -30 -10 -3 +3 +10 tip