diff options
| author |  Ed Baunton <edbaunton@gmail.com> | 2017-11-29 08:16:52 -0800 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2017-11-29 08:20:44 -0800 |
| commit | bd24c6bba0e6254d01bb92053847d0d396a8b77d (patch) | |
| tree | b67c475c8d3aae8436b92a742c6b40c078236a6e /src/create_embedded_tools.py | |
| parent | 2250443818db21ca1610e12252d962639c22d3f0 (diff) | |
Fix strip-prefix typo in docs
The usage is `strip_prefix` not `strip-prefix`.
Closes #4162.
PiperOrigin-RevId: 177311042
Diffstat (limited to 'src/create_embedded_tools.py')
0 files changed, 0 insertions, 0 deletions