diff options
author | Menno E. Duursma <druiloor@zonnet.nl> | 2010-05-11 22:22:46 +0200 |
---|---|---|
committer | Erik Hanson <erik@slackbuilds.org> | 2010-05-11 22:22:46 +0200 |
commit | f44e9d9541e28b6468c1779d78d10e32a474d021 (patch) | |
tree | b0b0eb54fa0f58fe80bfb98511010e45d6e6eb22 /development/splint/README | |
parent | 467e2d2eed529b9060acc1897ef096c80aba9e95 (diff) | |
download | slackbuilds-f44e9d9541e28b6468c1779d78d10e32a474d021.tar.gz |
development/splint: Updated for version 3.1.2
Diffstat (limited to 'development/splint/README')
-rw-r--r-- | development/splint/README | 4 |
1 files changed, 4 insertions, 0 deletions
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. + |