commit | 8acb2e13420ba22d606c4affe917f51cf652a98b | [log] [tgz] |
---|---|---|
author | Andrew Solovay <asolovay@google.com> | Wed Dec 20 17:22:54 2017 -0800 |
committer | Andrew Solovay <asolovay@google.com> | Thu Dec 21 19:25:49 2017 +0000 |
tree | 38a14d30969890f05bc606da6b3b26dd8e9fc699 | |
parent | 7835c650b2ae2f06591fe80704ef05e6140c59b2 [diff] |
DO NOT MERGE docs: Removing spurious end </pre> tag Owing to a merge mixup, ended up adding a spurious </pre> where it had no effect. Removing it just for hygiene's sake. This doc error is only in oc-mr1-dev, not in master, so the fix doesn't need to be merged. Test: make ds-docs Bug: 70812346 Change-Id: I5b54ed8fb1f068698d4dd4536383b52165b4d81f