log config.py @ 103:4e6f231f055f

age author description
Mon, 28 Feb 2011 23:16:49 +0000 Oleg Oshmyan Fixed a typo (did not affect anything)
Mon, 28 Feb 2011 16:10:41 +0000 Oleg Oshmyan maxtime is now auto-converted to maxcputime