1c9274ffee
This makes much more sense than 1.0.0, which is counter-intuitive. If someone is building from source they usually do it to build the latest bleeding-edge version. Signed-off-by: Michael Grupp <grupp@magazino.eu> |
||
---|---|---|
.. | ||
catkin_test_results.sh | ||
check_access_token.sh | ||
install.sh | ||
install_debs.sh | ||
load_docker_cache.sh | ||
prepare_catkin_workspace.sh | ||
prepare_jenkins_catkin_workspace.sh | ||
ros_entrypoint.sh | ||
save_docker_cache.sh |