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

Update requirements.txt #28

Closed azeey closed 3 years ago

azeey commented 3 years ago

https://github.com/osrf/rocker/pull/107 has been merged and the use_github_actions has been deleted.