diff options
author | lberki <lberki@google.com> | 2018-02-06 10:11:56 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-02-06 10:13:41 -0800 |
commit | bbcf2032f55bd989dabb053eb52d89d3ef5cefa7 (patch) | |
tree | 6b061b8e73f8007cdb85630a8f5018eee1151012 /src/main/cpp/blaze_util_platform.h | |
parent | 5a960cfc7464edeced1da68d87b1e27d53a6742c (diff) |
Delete the now-useless interfaces ServerCommand and CommandExecutor.
We apparently don't have any other implementations of these interfaces than
BlazeCommandDispatcher, so let's not have them at all; we can always put back
an interface with the exec() method if need be.
RELNOTES: None.
PiperOrigin-RevId: 184698573
Diffstat (limited to 'src/main/cpp/blaze_util_platform.h')
0 files changed, 0 insertions, 0 deletions