Removed JF's dollar-Log-dollar RCS turd that caused compilation to
crash due to GvR's last check in message :-). Will try to convince JF to remove all this evilness.
B
Barry Warsaw committed
779133c70791aa46f98e22854dcbdd2b47d3a60c
Parent: d7a7100