| 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