diff options
| author |  Googler <noreply@google.com> | 2017-05-19 23:40:41 +0200 |
|---|---|---|
| committer |  Irina Iancu <elenairina@google.com> | 2017-05-22 14:39:59 +0200 |
| commit | 68f1fe008d6d99d518921d12c39494a055c769ea (patch) | |
| tree | bd3d5be8eb7aa1df71f701a0418dd9cee7d60b05 /src/main/java/com/google/devtools/build/lib | |
| parent | ce6dea90b8c9eec9ebba41db25117dfb5527414f (diff) | |
Include input header files in CIdeInfo
A precursor to prefetching source files outside the project.
PiperOrigin-RevId: 156598992
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib')
0 files changed, 0 insertions, 0 deletions