diff options
author | 2017-05-26 22:26:23 +0200 | |
---|---|---|
committer | 2017-05-29 14:07:58 +0200 | |
commit | dfef43621c6658ac695164db55c7da205dffc869 (patch) | |
tree | e462fabb73dafbf8966b8a2f8dfb5e86b73dd8fb /site/_includes/header.html | |
parent | 77f12de356958b9beb99fa12d89fd74848a8aa90 (diff) |
Keep "srcs", "hdrs" and "textual_hdrs" separate.
Each can has slightly different semantics for the IDE, and it is better to use
the information on which files belong to which group from BUILD file rather than use heuristics like file extension to determine it.
The contents of "textual_hdrs" are added by the prefetcher.
RELNOTES: None.
PiperOrigin-RevId: 157256048
Diffstat (limited to 'site/_includes/header.html')
0 files changed, 0 insertions, 0 deletions