comparison .hgtags @ 743:504ce30bbd2a

added hard_time_limit to stopper
author bergstra@ip05.m
date Mon, 01 Jun 2009 00:22:35 -0400
parents 48411bd1f5b7
children
comparison
equal deleted inserted replaced
742:5aa4cf193197 743:504ce30bbd2a