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