https://github.com/duckietown/Software
Raw File
Tip revision: 138b1ef6a43f6f569a56cc406551cb91542914c2 authored by samuelnyffenegger on 23 February 2018, 19:57:40 UTC
final changes
Tip revision: 138b1ef
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top