https://github.com/duckietown/Software
Raw File
Tip revision: 0797f420ca09c3b0d1e0673b5f6189712fa292aa authored by lpaull on 27 September 2018, 16:28:15 UTC
removing copying default to hostname
Tip revision: 0797f42
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top