Undid renaming.

This commit is contained in:
Joel Sherrill
1998-08-28 13:26:25 +00:00
parent 0918cc421d
commit 6968c9eb04