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