cvs commit: hugs98/libraries/tools convert_libraries

[Ross Paterson]

ross        2005/03/06 04:15:15 PST

  Modified files:
    libraries/tools      convert_libraries 
  Log:
  follow symlinks while looking for examples (useful if building in
  a shadow tree)
  
  Revision  Changes    Path
  1.20      +1 -1      hugs98/libraries/tools/convert_libraries