Skip to content

Fix a minor issue in the documentation of the server API#2067

Merged
arjo129 merged 1 commit intoign-gazebo3from arjo/docs/update_server_info_typesAug 2, 2023

Commits

Commits on Aug 2, 2023