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