https://github.com/duckietown/Software
Raw File
Tip revision: 9564bf3ee12ef405731ff58b0b54d19f5d51e58f authored by ValentinaCavinato on 27 February 2018, 15:44:25 UTC
Resolved conflicts
Tip revision: 9564bf3
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top