?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | HEAD | snapshot (tar.gz zip)
Update build to fix in-place builds.
[splint-patched.git] / pkg / rpm / 
tree8e4a1aa4024aa777db93ced238f7956b4afe82c0
drwxr-xr-x   ..
-rw-r--r-- 1866 splint.spec blob | blame | history | raw
Patched version for SPLint (Secure Programming Lint)