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