Skip to content

Conversation

@greschd
Copy link
Member

@greschd greschd commented Jul 11, 2023

Add mesh query API definition, and format the .proto files with clang-format.

@greschd greschd force-pushed the feat/extended_mesh_query branch 2 times, most recently from 09b0fba to efddb85 Compare July 13, 2023 11:38
@greschd greschd force-pushed the feat/extended_mesh_query branch from efddb85 to 2d0758d Compare July 13, 2023 11:38
@greschd greschd mentioned this pull request Jul 14, 2023
@greschd greschd changed the title Extend mesh query API Add mesh query API Jul 14, 2023
@greschd greschd changed the base branch from feat/mesh_query to main July 14, 2023 11:33
@greschd greschd requested a review from janvonrickenbach July 14, 2023 12:27
@greschd greschd merged commit 5063e8c into main Jul 14, 2023
@greschd greschd deleted the feat/extended_mesh_query branch July 14, 2023 14:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants