projects / arvados.git / blob
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' into github-3408-production-datamanager
[arvados.git] / docker / jobs / apt.arvados.org.list
1 # apt.arvados.org
2 deb http://apt.arvados.org/ wheezy main