diff LICENSE @ 1459:509d6669429d

pkldu - changed /bin/env to /usr/bin/env which is more standard I hope.
author James Bergstra <bergstrj@iro.umontreal.ca>
date Wed, 06 Apr 2011 13:52:34 -0400
parents 798607a058bd
children 01063efe409f
line wrap: on
line diff