summaryrefslogtreecommitdiffhomepage
path: root/coverity
AgeCommit message (Expand)Author
2019-05-03coverity: fix /bin/sh quotingStanislaw Halik
2017-10-13stuffStanislaw Halik
2017-08-25gitignoreStanislaw Halik
2017-06-22misc irrelevantStanislaw Halik
2017-04-29coverity: simplify directory structureStanislaw Halik
2017-04-20coverity: add build shell scriptStanislaw Halik
2017-04-20coverity: fix build scriptStanislaw Halik
2017-03-28trivial onlyStanislaw Halik
2017-03-27coverity: add directory structureStanislaw Halik
2017-03-27coverity: add coverity treeStanislaw Halik