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