Support for renaming ign to gz names

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

Closed j-rivero closed 2 years ago

j-rivero commented 2 years ago

Add duplicate entries for ignition packages to support the rename of them to gazebo.