comparison LICENSE @ 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 798607a058bd
children 01063efe409f
comparison
equal deleted inserted replaced
916:a9b043c032ea 917:09212b8a1edd