Module Name:	pkgsrc
Committed By:	rillig
Date:		Tue May 31 19:01:40 UTC 2005

Modified Files:
	pkgsrc/devel/splint: distinfo
Added Files:
	pkgsrc/devel/splint/patches: patch-aa

Log Message:
Added a patch that works around a missing <stdbool.h> header.
Fixes PR 30014.


To generate a diff of this commit:
cvs rdiff -r1.3 -r1.4 pkgsrc/devel/splint/distinfo
cvs rdiff -r0 -r1.1 pkgsrc/devel/splint/patches/patch-aa

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.