Skip to content

docs: update CLI documentation#159

Merged
ktro2828 merged 2 commits into
mainfrom
docs/cli
May 27, 2025
Merged

docs: update CLI documentation#159
ktro2828 merged 2 commits into
mainfrom
docs/cli

Conversation

@ktro2828

Copy link
Copy Markdown
Collaborator

What

This PR updates the documentation of the CLI section.

ktro2828 added 2 commits May 27, 2025 16:45
Signed-off-by: ktro2828 <kotaro.uetake@tier4.jp>
Signed-off-by: ktro2828 <kotaro.uetake@tier4.jp>
@github-actions github-actions Bot added the documentation Improvements or additions to documentation label May 27, 2025
@ktro2828 ktro2828 merged commit c7d1cd4 into main May 27, 2025
5 checks passed
@ktro2828 ktro2828 deleted the docs/cli branch May 27, 2025 08:14
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant