https://github.com/duckietown/Software
Raw File
Tip revision: 2243db36402604ed4fe15d1a818ea0291f52df9b authored by Julien Kindle on 08 November 2017, 22:02:03 UTC
Last fixes on console output.
Tip revision: 2243db3
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top