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