diff options
Diffstat (limited to 'devel/splint/pkg-descr')
-rw-r--r-- | devel/splint/pkg-descr | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/devel/splint/pkg-descr b/devel/splint/pkg-descr deleted file mode 100644 index 44151c6d24cb..000000000000 --- a/devel/splint/pkg-descr +++ /dev/null @@ -1,8 +0,0 @@ -LCLint is a tool for statically checking C programs. With minimal -effort, LCLint can be used as a better lint. If additional effort is -invested adding annotations to programs, LCLint can perform stronger -checks than can be done by any standard lint. - -Check the LCLint home page at - http://www.sds.lcs.mit.edu/lclint/ -for more information and complete documentation. |