| commit | d50e4e1c544aae822fe50d1a4f953f6329dfc827 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jan 18 13:58:04 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jan 18 13:58:04 1995 +0000 |
| tree | af06af8873f0a28e458e06fd2e7ad03bab0301d3 | |
| parent | 48d071d3027996d50a807139e0bfb8d392695bd8 [diff] |
More Pstring() stuff and some cosmetics