view .hgtags @ 917:09212b8a1edd

bugfix in majorminer - must trim newline chars from each line
author James Bergstra <bergstrj@iro.umontreal.ca>
date Fri, 19 Mar 2010 23:31:38 -0400
parents 48411bd1f5b7
children
line wrap: on
line source

5f9ffefa9ca8040e18e1a69fdbbe34b8a19099bc sequencelabelling 20090130-rerun