diff options
author | 2018-07-03 10:51:35 -0700 | |
---|---|---|
committer | 2018-07-03 10:53:13 -0700 | |
commit | bbc8ed16aee07c3ba9321d58aa4c0ffc55fa2ba9 (patch) | |
tree | dc1689d1b783b628525920010d8b2333f844b316 /src/create_embedded_tools_lib.py | |
parent | ffc192f0bfb240711ceab874258810f6d3671a23 (diff) |
Clarify attr documentation
Fixes #5335
RELNOTES: None
PiperOrigin-RevId: 203148338
Diffstat (limited to 'src/create_embedded_tools_lib.py')
0 files changed, 0 insertions, 0 deletions