diff options
author | 2018-06-25 08:26:01 -0700 | |
---|---|---|
committer | 2018-06-25 08:27:59 -0700 | |
commit | cac65060368ad57e038b59ec185ef816bef9c7e6 (patch) | |
tree | e714ba04843380afaa25001dd8f4db22aa01a7d7 /src/main/java/com/google/devtools/build/lib/rules/platform | |
parent | e5a90da8656863da48865536ab9c75f7ecf8e23e (diff) |
Go back to handling conditional breakpoints server side.
I should have left it as it was -- doing it client-side is just too
slow.
ENUM_VALUE_OK=This proto has never yet been used
PiperOrigin-RevId: 201957138
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/platform')
0 files changed, 0 insertions, 0 deletions