summaryrefslogtreecommitdiff
path: root/licenses/pvs-license
AgeCommit message (Collapse)AuthorFilesLines
2002-09-24Add a license for freshly imported /devel/pvs. Also available onlinejschauma1-0/+212
at http://pvs.csl.sri.com/license.html