diff options
author | 2017-04-13 14:18:20 +0000 | |
---|---|---|
committer | 2017-04-13 16:53:06 +0200 | |
commit | eecd7128f420b2d404ed2f42d549dea3bd198d9d (patch) | |
tree | a5a6dcfcd53064a189f2808c4d7fd07e5c237807 /src/create_embedded_tools.sh | |
parent | e565230a98a844b150970ac4a56e648dc4c8398c (diff) |
Update comments and remove obsolete field.
RELNOTES: None.
PiperOrigin-RevId: 153058374
Diffstat (limited to 'src/create_embedded_tools.sh')
0 files changed, 0 insertions, 0 deletions