diff upreckon-vcs @ 117:6bb59a011bcb

Wall-clock time is output when maxwalltime but not maxcputime now on Win32 too
author Oleg Oshmyan <chortos@inbox.lv>
date Sun, 10 Apr 2011 00:59:40 +0300 (2011-04-09)
parents 796eb7667fb0
children 517dd43f06f8
line wrap: on
line diff