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