Skip to content

Docs: Updated configuration file name#12720

Merged
KevinHuSh merged 2 commits intoinfiniflow:mainfrom
writinwaters:umirc
Jan 20, 2026
Merged

Docs: Updated configuration file name#12720
KevinHuSh merged 2 commits intoinfiniflow:mainfrom
writinwaters:umirc

Conversation

@writinwaters
Copy link
Contributor

What problem does this PR solve?

Type of change

  • Documentation Update

@dosubot dosubot bot added the size:XS This PR changes 0-9 lines, ignoring generated files. label Jan 20, 2026
@writinwaters writinwaters requested a review from asiroliu January 20, 2026 07:23
@dosubot dosubot bot added the 📖 documentation Improvements or additions to documentation label Jan 20, 2026
@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Jan 20, 2026
@KevinHuSh KevinHuSh merged commit 046d4ff into infiniflow:main Jan 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

📖 documentation Improvements or additions to documentation lgtm This PR has been approved by a maintainer size:XS This PR changes 0-9 lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants