diff options
| author | jbj <devnull@localhost> | 2004-10-09 17:29:22 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2004-10-09 17:29:22 +0000 |
| commit | b831315e41173e27a4e402c65d318b43558c4fca (patch) | |
| tree | 4d8b5816ed2c4a51657bb698320cfd62761c29d0 /rpmio/.splintrc | |
| parent | d8822ba626caea60e6310157c1a180cde16bfe0a (diff) | |
| download | librpm-tizen-b831315e41173e27a4e402c65d318b43558c4fca.tar.gz librpm-tizen-b831315e41173e27a4e402c65d318b43558c4fca.tar.bz2 librpm-tizen-b831315e41173e27a4e402c65d318b43558c4fca.zip | |
Splint fiddles.
CVS patchset: 7435
CVS date: 2004/10/09 17:29:22
Diffstat (limited to 'rpmio/.splintrc')
| -rw-r--r-- | rpmio/.splintrc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rpmio/.splintrc b/rpmio/.splintrc index 1f26e45d7..2c1027e6e 100644 --- a/rpmio/.splintrc +++ b/rpmio/.splintrc @@ -15,7 +15,6 @@ +bounds -bufferoverflowhigh - # --- +partial artifacts -declundef -exportheadervar |