search

gazebo-tooling / gzdev

Gazebo developers tool is an Outreachy project designed to facilitate many of the usual tasks that Gazebo developers face daily
Other
14 stars 3 forks source link

Use stable repos for gz-msgs10 #67

Closed azeey closed 1 year ago

azeey commented 1 year ago

Part of https://github.com/gazebo-tooling/release-tools/issues/974