comparison compat.py @ 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
parents cd347cfca272
children e17ae4ccbc58 92f76baebcc6
comparison
equal deleted inserted replaced
108:218b8c28549c 117:6bb59a011bcb