cvs commit: hugs98/src input.c

Ross Paterson ross at galois.com
Thu Sep 1 10:49:24 EDT 2005


ross        2005/09/01 07:49:24 PDT

  Modified files:
    src                  input.c 
  Log:
  from Neil Mitchell: When saving stuff before auto-reloading files, it is
  no longer necessary to save the input buffer in Windows - the standard
  control takes care of this automatically.
  
  Revision  Changes    Path
  1.87      +2 -8      hugs98/src/input.c


More information about the Cvs-hugs mailing list