https://github.com/duckietown/Software
Raw File
Tip revision: 860fc30fd648dd453de28183be4b85f8308e2b7d authored by MilanSchilling on 22 February 2018, 15:59:44 UTC
updated params for time measurement
Tip revision: 860fc30
git-delete-remotely-deleted-branches.sh
git fetch origin --prune

back to top