cvs commit: hugs98/libraries/tools convert_libraries

[Ross Paterson]

ross        2004/10/21 15:08:23 PDT

  Modified files:
    libraries/tools      convert_libraries 
  Log:
  avoid using modern features of find (wasn't an important use, anyway)
  
  Revision  Changes    Path
  1.4       +5 -4      hugs98/libraries/tools/convert_libraries