| commit | c59b280c81df248a39e470342c01a8018f9399dd | [log] [tgz] |
|---|---|---|
| author | Ytai Ben-Tsvi <ytai@google.com> | Tue Jan 07 14:08:16 2020 -0800 |
| committer | Ytai Ben-Tsvi <ytai@google.com> | Tue Jan 07 14:08:16 2020 -0800 |
| tree | 1eaa21eb8170206bf333abcd08452ab3d675d697 | |
| parent | a9cce85784844c39a7fcf743aef68d2ff8492b71 [diff] |
Doc fix The previous doc goes into implementation detail (bad idea anyway), which is no longer true. Change-Id: I6923c55f9505cfc3d59e4dc76fe76c95d1bae74d