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