diff options
| author |  timm-gs <33091277+timm-gs@users.noreply.github.com> | 2017-11-22 09:20:52 -0800 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2017-11-22 09:22:22 -0800 |
| commit | d420f6f4ea4c254eb26ffeef1b21dd380aad8b21 (patch) | |
| tree | 2d66ed8f91cb76add9480d96c61e13523c3f30be /BUILD | |
| parent | 73fd99795e1eba495394bad99d42b6bb8010e85a (diff) | |
Fix typo in `user-manual.html`
And adjust macOS name
Closes #4019.
PiperOrigin-RevId: 176665076
Diffstat (limited to 'BUILD')
0 files changed, 0 insertions, 0 deletions