移去rt

hc

2023-12-08 01573e231f18eb2d99162747186f59511f56b64d

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