diff options
author | 2018-02-28 14:54:14 -0800 | |
---|---|---|
committer | 2018-02-28 14:55:43 -0800 | |
commit | cf568dbe0111135053b7c3b299860749a44512b0 (patch) | |
tree | 601adc63bb41ed914ae80b6523131a86e0f05b0d /src/main/java/com/google/devtools/build/lib/actions | |
parent | c19869ea3c64c6b3db85eb34907688dc234a3222 (diff) |
Prevent aspects with the same attributes but different names from outputting duplicates of those attributes in query's proto output format.
PiperOrigin-RevId: 187387578
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/actions')
0 files changed, 0 insertions, 0 deletions