| commit | a154262e444c42a31cf6b41350a1252963431619 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Mar 26 14:36:25 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Mar 26 14:36:25 2003 +0000 |
| tree | b5133bbfe97704ba2a8902c9e0657541bcde0772 | |
| parent | 97951de77c7a1f08207f9929f950da268c6bb9b3 [diff] |
Modified to accept a command line argument too.