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