ohmyzsh/plugins/ros
Mickaël Germain 838c5b66d4 List registered workspace instead of sourced workspace
Both list can defer due to workspace overlaying.
2016-10-21 15:58:47 +02:00
..
ros.cache.default First ROS plugin commit 2016-10-21 15:58:47 +02:00
ros.plugin.zsh List registered workspace instead of sourced workspace 2016-10-21 15:58:47 +02:00