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