xref: /linux/.cocciconfig (revision 3ba84ac69b53e6ee07c31d54554e00793d7b144f)
1[spatch]
2	options = --timeout 200
3	options = --use-gitgrep
4