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