Checkout
Greg Stein
committed
on 20 Jan 01
some stylistic tweaks post- John's patch