| commit | a9454e21a70fecfe3686682ea4de716a75a3d828 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 02 14:54:46 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 02 14:54:46 2002 +0000 |
| tree | 8f7deba348948f88e90d779de6b091875a0101f5 | |
| parent | 21ed16acbe0a8870f6833b7976f8b7e79452d21c [diff] |
Oops, the -psn stuff is in argv[1], of course.