https://github.com/duckietown/Software
Raw File
Tip revision: c53a45cade234d1dba24577f10b29a3eafc74b3f authored by simonbing on 12 July 2018, 15:33:03 UTC
wip
Tip revision: c53a45c
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top