summaryrefslogtreecommitdiff
path: root/doc/develop/coccinelle.rst
AgeCommit message (Expand)Author
2020-07-17doc: Coccinelle: move to HTML docHeinrich Schuchardt