| commit | b9fa1a9ec533c0842a3a2948d2efbf3be4ebdd54 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 04 15:35:07 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Feb 04 15:35:07 2003 +0000 |
| tree | 2b01073d04706f939bfde2f981c3a1ce4d7284d3 | |
| parent | 57d575240c384d67505a261a1640e1c632b5416a [diff] |
Changed an edit instruction because of a changed parameter name (sigh).