[CI skip] minor doc change - #7

Merged

gaissmai merged 1 commit into

mainfrom

Jul 11, 2026

Greptile Apps / Greptile Review succeeded Jul 11, 2026 in 18s

Greptile Review

Greptile has reviewed the Pull Request.

1 files reviewed, 0 comments added.

View more details on Greptile Apps