cvs commit: hugs98/libraries/tools convert_libraries

26 Feb 2005


      ross        2005/02/25 17:19:07 PST

  Modified files:
    libraries/tools      convert_libraries 
  Log:
  take $happy from the environment, if set.
  
  Revision  Changes    Path
  1.18      +8 -1      hugs98/libraries/tools/convert_libraries

cvs commit: hugs98/libraries/tools convert_libraries

Ross Paterson