add missing files

tzh

2024-08-22 c7d0944258c7d0943aa7b2211498fd612971ce27

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