https://github.com/duckietown/Software
Raw File
Tip revision: 07f57049eac4b8382230afebab0ed70babca6ff9 authored by Andreas Aumiller on 12 January 2018, 10:38:55 UTC
Bugfix
Tip revision: 07f5704
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top