- removed since it was replace by GUI_general.h
Authored by: worfje 2000-12-08
Parent: [r175]
Child: [r177]