cvs commit: hugs98/libraries/tools convert_libraries

[Ross Paterson]

ross        2006/02/20 03:12:57 PST

  Modified files:
    libraries/tools      convert_libraries 
  Log:
  skip missing extra packages (for subset source distributions)
  
  Revision  Changes    Path
  1.30      +5 -3      hugs98/libraries/tools/convert_libraries