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