diff publish.sh @ 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 394aec9712b6
children 25b929aa92a1
line wrap: on
line diff