Checkout
wrowe
committed
on 02 Aug 01

Undo my unintentionally overzelous name change, and fix the style of sizeof()