[project @ 2000-10-16 11:32:56 by sewardj]
authorsewardj <unknown>
Mon, 16 Oct 2000 11:32:56 +0000 (11:32 +0000)
committersewardj <unknown>
Mon, 16 Oct 2000 11:32:56 +0000 (11:32 +0000)
Fix up pprName.  So much simpler than the original that it will
doubtless require fixing later.


No differences found