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