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

Rename ign-docker-env to gz-docker-env #61

Open scpeters opened 2 years ago

scpeters commented 2 years ago

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

https://github.com/gazebo-tooling/gzdev/blob/master/plugins/ign-docker-env.py