cvs commit: ports/devel/splint Makefile distinfopatch-src::Makefile.in patch-test::Makefile.in

Thu Jun 5 18:02:18 PDT 2003

naddy       2003/06/05 18:02:17 PDT

  FreeBSD ports repository

  Modified files:
    devel/splint         Makefile distinfo 
    devel/splint/files   patch-src::Headers::constants.h 
  Removed files:
    devel/splint/files   patch-src::Makefile.in 
                         patch-test::Makefile.in 
  Log:
  Update to version 3.1.1.
  
  PR:             52894
  Submitted by:   Ports Fury
  
  Revision  Changes    Path
  1.17      +7 -6      ports/devel/splint/Makefile
  1.9       +1 -1      ports/devel/splint/distinfo
  1.2       +1 -1      ports/devel/splint/files/patch-src::Headers::constants.h
  1.2       +0 -11     ports/devel/splint/files/patch-src::Makefile.in (dead)
  1.2       +0 -13     ports/devel/splint/files/patch-test::Makefile.in (dead)