comparison zipfile320.diff @ 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 bbf9c434fa57
children
comparison
equal deleted inserted replaced
108:218b8c28549c 117:6bb59a011bcb