log win32.py @ 118:16fe21d6582e

age author description
Sun, 10 Apr 2011 00:59:40 +0300 Oleg Oshmyan Wall-clock time is output when maxwalltime but not maxcputime now on Win32 too