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