commit | 3e3eb3e822038c08850d71dcb98c006dc2a7e36a | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 19 21:50:54 2000 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 19 21:50:54 2000 +0000 |
tree | e6aa85d81801b335b56d540e2a9c90ea802f2b3f | |
parent | 635a044b87f9452d4ac0145167b31b75065af667 [diff] |
Oops, all the options were off-by-one. Reported by Tom Bridgman.