summaryrefslogtreecommitdiff
path: root/devtools/cocci.sh
AgeCommit message (Expand)Author
2018-10-01devtools: use a common prefix for temporary filesThomas Monjalon
2017-01-04scripts: move to devtoolsThomas Monjalon