https://github.com/duckietown/Software
Raw File
Tip revision: ca6fb6a07d856157d39305fb544a3c537db05a0d authored by Giovanni Cioffi on 15 January 2018, 20:31:50 UTC
Ready for demo testing
Tip revision: ca6fb6a
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top