summaryrefslogtreecommitdiffhomepage
path: root/coverity/.gitignore
AgeCommit message (Expand)Author
2017-04-29coverity: simplify directory structureStanislaw Halik