https://github.com/duckietown/Software
Raw File
Tip revision: 08fbb12033718409c81cf451a365d3724970aa80 authored by MarcoStalder on 18 January 2018, 09:36:41 UTC
minor
Tip revision: 08fbb12
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top