cvs commit: hugs98/libraries/tools config.in