cvs commit: hugs98/src opts.c

Ross Paterson ross at galois.com
Fri Sep 2 07:08:38 EDT 2005


ross        2005/09/02 04:08:38 PDT

  Modified files:
    src                  opts.c 
  Log:
  from Neil Mitchell:
  
  Instead of using MessageBox and hWnd use InfoBox for warnings.
  
  Remove call to ReadGUIOptions: WinHugs will manage its own options.
  This means that <winhugs.h> is not required.
  
  Revision  Changes    Path
  1.21      +2 -8      hugs98/src/opts.c


More information about the Cvs-hugs mailing list