search

jason-lang / jason_ros

Jason and ROS integration
GNU General Public License v3.0
6 stars 2 forks source link

Change repo name for adding in ros index #34

Closed Rezenders closed 4 years ago

Rezenders commented 4 years ago

As instructed in the PR: https://github.com/ros/rosdistro/pull/23751#pullrequestreview-358343686

Rezenders commented 4 years ago

Repository renamed. Link in IFAC paper was altered.