cvs commit: hugs98/libraries/tools convert_libraries

[Ross Paterson]

ross        2005/02/24 08:12:49 PST

  Modified files:
    libraries/tools      convert_libraries 
  Log:
  omit examples for packages that aren't built
  
  Revision  Changes    Path
  1.17      +3 -1      hugs98/libraries/tools/convert_libraries