cvs commit: hugs98/src hugs.c

Ross Paterson ross at galois.com
Fri Sep 2 09:03:11 EDT 2005


ross        2005/09/02 06:03:11 PDT

  Modified files:
    src                  hugs.c 
  Log:
  from Neil Mitchell: Remove the call to SaveGUIOptions, the GUI options
  are saved by the GUI as required. Remove windows and winhugs headers.
  
  Revision  Changes    Path
  1.138     +2 -14     hugs98/src/hugs.c


More information about the Cvs-hugs mailing list