Commits

Ted Kremenek committed cc4c1824c47M
Merge pull request #1964 from bitjammer/SR-1012-warnings-nonprimary-file Suppress warnings for non-primary inputs
Merge pull request #1964 from bitjammer/SR-1012-warnings-nonprimary-file Suppress warnings for non-primary inputs