diff options
author | 2017-08-31 23:56:40 +0200 | |
---|---|---|
committer | 2017-09-01 12:28:32 +0200 | |
commit | a117235b926eb477299436328a34ad4b1ea0eec0 (patch) | |
tree | 570d6fac2b13d4262251752fce7cbd448f974ee5 /src/main/java/com/google/devtools/build/lib/analysis/PlatformSemantics.java | |
parent | 494151d0cde6c43284cde26d3447da281f4a0b8f (diff) |
Release config_setting.flag_values from the whitelist.
This feature is opening up beyond just ConfigFeatureFlags, and so should not
be restricted.
RELNOTES: None.
PiperOrigin-RevId: 167195959
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/PlatformSemantics.java')
0 files changed, 0 insertions, 0 deletions