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