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