chdistro

Shell ★ 8 updated 5y ago

Change the `ROS_DISTRO` variable and working space with a single command

No plain-English explanation yet — one is being written right now. Check back in a minute.