mirror of
https://github.com/LuckfoxTECH/luckfox-pico.git
synced 2026-01-18 11:38:31 +01:00
4 lines
59 B
Plaintext
4 lines
59 B
Plaintext
[spatch]
|
|
options = --timeout 200
|
|
options = --use-gitgrep
|