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