Checkout
ben
committed
on 14 Jun 98
Deal with gcc's broken failure to cast char ** to const char **.