https://github.com/duckietown/Software
Raw File
Tip revision: 94d38b2fead377cca50eb5edde42bc4e10cba9d3 authored by Gianmarco Bernasconi on 30 October 2018, 12:32:10 UTC
fixed bug on launchfile
Tip revision: 94d38b2
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top