From f44e9d9541e28b6468c1779d78d10e32a474d021 Mon Sep 17 00:00:00 2001 From: "Menno E. Duursma" Date: Tue, 11 May 2010 22:22:46 +0200 Subject: development/splint: Updated for version 3.1.2 --- development/splint/README | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'development/splint/README') diff --git a/development/splint/README b/development/splint/README index ff6b7c4a30..4abaf535d3 100644 --- a/development/splint/README +++ b/development/splint/README @@ -16,3 +16,7 @@ Splint is designed to be flexible and allow programmers to select appropriate points on the effort-benefit curve for particular projects. As different checks are turned on and more information is given in code annotations the number of bugs that can be detected increases dramatically. + +This package configures splint als the default lint if no other command by +that name is encountered on the system. + -- cgit v1.2.3