blob: 43967c6b20151ee126db08e24758e3c789bcb844 [file] [log] [blame]
[spatch]
options = --timeout 200
options = --use-gitgrep