Fix gitolite-shell path refs #8080
[arvados-dev.git] / arvbox /
2016-01-20 Peter AmstutzFix gitolite-shell path refs #8080
2016-01-19 Peter AmstutzMerge branch '8080-arvbox' closes #8080