diff options
author | 2017-11-22 06:15:42 -0800 | |
---|---|---|
committer | 2017-11-22 06:17:15 -0800 | |
commit | 5b8736d769db8cde5b60058152545040876d514e (patch) | |
tree | 6cf0c3f122c8f9895b7c1deaece272e96a8eab06 /src/create_embedded_tools.py | |
parent | 7585dcd677f650160917550cc29a9fb185f35cc3 (diff) |
Clarify `srcs` description to make it obvious what file types are accepted.
PiperOrigin-RevId: 176647103
Diffstat (limited to 'src/create_embedded_tools.py')
0 files changed, 0 insertions, 0 deletions