tree 8628c9200a4a17c8d540ca92c6136815cab522d9
parent 3b62f2bff087591d966f484b57b679f30738707a
author Andrew Scull <ascull@google.com> 1534956296 +0100
committer Andrew Scull <ascull@google.com> 1534957073 +0100

Refine the docs.

Change-Id: I6808bb7515e39f52053d66af54e5ad2a45b1c159