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