diff unix.py @ 92:17041a71bc02

maxtime is now auto-converted to maxcputime
author Oleg Oshmyan <chortos@inbox.lv>
date Mon, 28 Feb 2011 16:10:41 +0000
parents c62c9bfd614a
children b7fb64ce03d9
line wrap: on
line diff