.cocciconfig - litmus-rt-ext-res.git - LITMUS^RT with extended reservations for Forbidden Zones paper @ RTAS'20

about summary refs log blame commit diff stats

path: root/.cocciconfig

blob: 43967c6b20151ee126db08e24758e3c789bcb844 (plain) (tree)

dd951fc1b67b

1
2
3

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