cvs commit: hugs98/libraries/tools convert_libraries

[Ross Paterson]

ross        2005/03/06 12:16:23 PST

  Modified files:
    libraries/tools      convert_libraries 
  Log:
  copy package examples into demos, so they get installed
  
  Revision  Changes    Path
  1.21      +1 -1      hugs98/libraries/tools/convert_libraries