comparison 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
comparison
equal deleted inserted replaced
1458:31d8c6a0a70d 1459:509d6669429d