diff .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
line wrap: on
line diff