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