diff .hgignore @ 743:504ce30bbd2a

added hard_time_limit to stopper
author bergstra@ip05.m
date Mon, 01 Jun 2009 00:22:35 -0400
parents 6eb0900fb553
children 27a663ba4427
line wrap: on
line diff