Skip to content

docs: update document for schema customization#144

Merged
ktro2828 merged 1 commit into
mainfrom
docs/customize-schema
May 14, 2025
Merged

docs: update document for schema customization#144
ktro2828 merged 1 commit into
mainfrom
docs/customize-schema

Conversation

@ktro2828

Copy link
Copy Markdown
Collaborator

What

This PR updates the documentation for the schema customization.

Signed-off-by: ktro2828 <kotaro.uetake@tier4.jp>
@github-actions github-actions Bot added the documentation Improvements or additions to documentation label May 14, 2025
@ktro2828 ktro2828 merged commit b885c1d into main May 14, 2025
5 checks passed
@ktro2828 ktro2828 deleted the docs/customize-schema branch May 14, 2025 07: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