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