summaryrefslogtreecommitdiff
path: root/.cocciconfig
blob: 43967c6b20151ee126db08e24758e3c789bcb844 (plain) (blame)
1
2
3
[spatch]
	options = --timeout 200
	options = --use-gitgrep