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