summaryrefslogblamecommitdiff
path: root/.cocciconfig
blob: 43967c6b20151ee126db08e24758e3c789bcb844 (plain) (tree)
1
2
3


                               
[spatch]
	options = --timeout 200
	options = --use-gitgrep