fix(core): add getDefaultPermission and allowExternalPaths to ripGrep tool#2948
Merged
tanzhenxin merged 1 commit intomainfrom Apr 9, 2026
Merged
fix(core): add getDefaultPermission and allowExternalPaths to ripGrep tool#2948tanzhenxin merged 1 commit intomainfrom
tanzhenxin merged 1 commit intomainfrom
