.cocciconfig - ~agrodzov/linux - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/.cocciconfig

blob: 43967c6b20151ee126db08e24758e3c789bcb844 (plain)

1
2
3

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