From c52ab02f486b19b8801186cfb413b67ec9e5ef6b Mon Sep 17 00:00:00 2001 From: jschauma Date: Tue, 24 Sep 2002 17:59:59 +0000 Subject: Note initial import of devel/pvs. See http://pvs.csl.sri.com/ --- doc/CHANGES | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/CHANGES b/doc/CHANGES index 2d1b8ed42d9..1c198c531a7 100644 --- a/doc/CHANGES +++ b/doc/CHANGES @@ -1,4 +1,4 @@ -$NetBSD: CHANGES,v 1.50 2002/09/24 17:18:26 abs Exp $ +$NetBSD: CHANGES,v 1.51 2002/09/24 17:59:59 jschauma Exp $ Changes to the packages collection and infrastructure in 2002: @@ -2957,3 +2957,4 @@ Changes to the packages collection and infrastructure in 2002: Updated libxslt to 1.0.20 [martti 2002-09-24] Updated bbkeys to 0.8.5 [jschauma 2002-09-24] Updated msudir to 0.12 [abs 2002-09-24] + Added pvs-3.0 [jschauma 2002-09-24] -- cgit v1.2.3