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

Disable prereleases on ign-gazebo6 #58

Closed chapulina closed 2 years ago

chapulina commented 2 years ago

Reverting #55 now that https://github.com/ignitionrobotics/ign-gazebo/pull/1333 is merged.

CC @nkoenig