| commit | 8da53f9b1dfef76f3caf828511684c29dc9e5e8e | |
| author | Mihail Groza <unlupdestepa@gmail.com> | |
| Wed, 15 Mar 2017 20:26:29 +0000 (15 20:26 +0000) | ||
| committer | Mihail Groza <unlupdestepa@gmail.com> | |
| Wed, 15 Mar 2017 20:26:29 +0000 (15 20:26 +0000) | ||
| tree | 84a97faae4707935dc368f05d8d23dd712ffdc10 | treesnapshot (tar.gz zip) |
| parent | 8a34f7839eb66f9ab8eeceb94877144401fcb581 | commitdiff |
Fix self-check due to previous commit
Previous commit introduced headers skipping when their respective
library is loaded. This managed to uncover a bug (introduced by me) in
Splint's own code - fixed it.
Previous commit introduced headers skipping when their respective
library is loaded. This managed to uncover a bug (introduced by me) in
Splint's own code - fixed it.
| src/osd.c | diffblobblamehistory |