diff doc/LICENSE.txt @ 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 9472d234db2e
children
line wrap: on
line diff