https://github.com/duckietown/Software
Raw File
Tip revision: 4246fc5c8e24b9b46c04872acb69bf44b3219c9f authored by Simon Bing/Megacity Team on 31 May 2018, 16:41:06 UTC
SURF
Tip revision: 4246fc5
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top