修改 parameter

hc

2023-02-14 a65d8712103cb143619d6c58afd5127e347b13c9

1
2
3
[spatch]
    options = --timeout 200
    options = --use-gitgrep