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

Enable preleases on ign-gazebo6 #55

Closed nkoenig closed 2 years ago

nkoenig commented 2 years ago

Signed-off-by: Nate Koenig nate@openrobotics.org

Needed by: https://github.com/ignitionrobotics/ign-gazebo/pull/1333.