 skarg
|
30e04f0fc7
|
modified splint script for Makefile usage. - Thanks, Bryan.
|
2013-07-12 03:35:07 +00:00 |
|
|
skarg
|
61f0a0211d
|
Splinted files and corrected splint errors.
|
2011-08-17 03:59:31 +00:00 |
|
|
skarg
|
2814084093
|
Splinted the core source files.
|
2010-07-20 02:37:13 +00:00 |
|
|
skarg
|
c17962107c
|
Corrected warnings found by splint.
|
2009-04-18 17:54:39 +00:00 |
|
|
skarg
|
6380985dc2
|
updated splint shell script for directory structure change.
|
2008-03-17 15:01:41 +00:00 |
|
|
skarg
|
97b19c07c8
|
running splint on the code.
|
2007-11-28 23:02:32 +00:00 |
|
|
skarg
|
4e98fc2b03
|
Added splint script, and started splinting...
|
2007-11-28 22:33:36 +00:00 |
|