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

Repository debian support #8

Closed j-rivero closed 5 years ago

j-rivero commented 5 years ago

Support for debian distributions and add an option to set the linux-distro instead of leaving python to get it.