comparison publish.sh @ 119:0b265fe9c81f

Wall-clock time limit is now enforced on the output wall-clock time
author Oleg Oshmyan <chortos@inbox.lv>
date Fri, 15 Apr 2011 03:06:29 +0300
parents 394aec9712b6
children 25b929aa92a1
comparison
equal deleted inserted replaced
118:16fe21d6582e 119:0b265fe9c81f