blob: 43967c6b20151ee126db08e24758e3c789bcb844 [file] [log] [blame]
xjb04a4022021-11-25 15:01:52 +08001[spatch]
2 options = --timeout 200
3 options = --use-gitgrep