]> git.ipfire.org Git - thirdparty/linux.git/blob - .cocciconfig
Merge branch 'work.iget' into work.misc
[thirdparty/linux.git] / .cocciconfig
1 [spatch]
2 options = --timeout 200
3 options = --use-gitgrep