diff options
| author |  carmi <carmi@google.com> | 2018-04-10 12:40:14 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-04-10 12:41:19 -0700 |
| commit | ca598fb9445627e9734c2900bc6b11430250d453 (patch) | |
| tree | 233680bba78de8936004ccf027f94c3245973cc6 /src/main/java/com/google/devtools/build/skyframe | |
| parent | 2399df0dd858f24ce18b4ee85faa569d6b0bb19a (diff) | |
Disallow labels of the form ////foo.
RELNOTES: Labels of the form ////foo are disallowed.
PiperOrigin-RevId: 192329081
Diffstat (limited to 'src/main/java/com/google/devtools/build/skyframe')
0 files changed, 0 insertions, 0 deletions