#293713 splint-doc: Since index is not hyperlinked, please include PDF manual

Package:
splint-doc-html
Source:
splint
Submitter:
Reuben Thomas
Date:
2007-12-23 10:54:02 UTC
Severity:
wishlist