tree ec9127e93809b3976bf402615d973f8a5e8e8041
parent 2b772e1bac9cee5b1e681d41f952ed596a3b0f6f
author Adam Sadovsky <asadovsky@gmail.com> 1454721636 -0800
committer Adam Sadovsky <asadovsky@gmail.com> 1454721636 -0800

TBR: mojo.discovery: update 'docs' references to point to vanadium.github.io

MultiPart: 10/27

Change-Id: I91261dea94860495f7a4db4d2ae5c9d3920bf91e