commit | b2f6a7ec001ab378aba26a45edc2f688bb3a7dc4 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 20 15:46:10 1995 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Feb 20 15:46:10 1995 +0000 |
tree | db3d480be21a9af247b137fed6f2bf3f9aa3949d | |
parent | 81f51c74ea488f17ba594836478c3f678d95f768 [diff] |
Minor bug fix