cvs commit: hugs98/libraries/tools convert_libraries

[Ross Paterson]

ross        2006/05/03 09:58:28 PDT

  Modified files:
    libraries/tools      convert_libraries 
  Log:
  use ; instead of : as path separator on Windows.
  
  Revision  Changes    Path
  1.33      +11 -5     hugs98/libraries/tools/convert_libraries