https://github.com/duckietown/Software
Raw File
Tip revision: f3b800d013e93d750c78082cf5a6dbe9f52e5dae authored by Andrea Censi on 09 April 2016, 13:29:43 UTC
Merge pull request #128 from duckietown/f6-master-rc
Tip revision: f3b800d
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top