projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 47b10ff d39be4a)
Merge branch '5998-arvdock-bridge-option'
authorNico Cesar <nico@nicocesar.com>
Fri, 15 May 2015 21:04:06 +0000 (17:04 -0400)
committerNico Cesar <nico@nicocesar.com>
Fri, 15 May 2015 21:04:06 +0000 (17:04 -0400)
closes #5998


Trivial merge