file configure.win32.bat was initially added on branch BRANCH_WIN32PORT.
authorleonid
Wed, 14 Feb 2007 22:19:53 +0100
changeset 105 dd6a1f057294
parent 104 b3a53f4ea6f9
child 106 9b2d4f2cb632
file configure.win32.bat was initially added on branch BRANCH_WIN32PORT.