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