cvs commit: hugs98/libraries/tools make_oldlib

Ross Paterson ross at soi.city.ac.uk
Fri Nov 24 08:12:16 EST 2006


ross        2006/11/24 05:12:16 PST

  Removed files:
    libraries/tools      make_oldlib 
  Log:
  remove unused script


More information about the Cvs-hugs mailing list