cvs commit: hugs98 Makefile

Ross Paterson ross at soi.city.ac.uk
Sat Sep 9 20:29:48 EDT 2006


ross        2006/09/09 17:29:48 PDT

  Modified files:
    .                    Makefile 
  Log:
  Ensure that directories are removed before fetching them with darcs
  (which avoids existing directories).
  
  Revision  Changes    Path
  1.82      +2 -1      hugs98/Makefile


More information about the Cvs-hugs mailing list