| commit | e83d201f5d1923f6edbfe34a915f142a43e1af96 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Sep 01 11:50:53 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Sep 01 11:50:53 1995 +0000 |
| tree | 876d70260ee44150b6c55266a45b2d413c070feb | |
| parent | 05249f96f2af0994a6a63f8279a76a56f0c9f634 [diff] |
Minor fix