diff options
Diffstat (limited to 'devel/pvs/files/MESSAGE')
| -rw-r--r-- | devel/pvs/files/MESSAGE | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/pvs/files/MESSAGE b/devel/pvs/files/MESSAGE index cbbf4e4a5eb..1c8ae05365f 100644 --- a/devel/pvs/files/MESSAGE +++ b/devel/pvs/files/MESSAGE @@ -1,7 +1,7 @@ -============================================================================== -$NetBSD: MESSAGE,v 1.1.1.1 2002/09/24 17:57:25 jschauma Exp $ +=========================================================================== +$NetBSD: MESSAGE,v 1.2 2005/09/02 02:27:11 jschauma Exp $ The PVS Specification and Verification System requires a kernel built with 'COMPAT_LINUX' and 'PROCFS' enabled. -============================================================================== +=========================================================================== |