https://github.com/duckietown/Software
Raw File
Tip revision: 44888219aa286d555ce2d8612aa9877d6b7430c0 authored by SebasRatz on 16 December 2017, 10:37:35 UTC
Merge branch 'devel-fleet-planning' into devel-fleet-planning-ui-improvements
Tip revision: 4488821
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top