diff options
| author |  ccalvarin <ccalvarin@google.com> | 2017-09-01 16:37:49 +0200 |
|---|---|---|
| committer |  Vladimir Moskva <vladmos@google.com> | 2017-09-01 20:07:29 +0200 |
| commit | a8c00e2f40ab8a57e3630e774e8d0d9354f38472 (patch) | |
| tree | 7fa6308e9cccf2de6b38964bb627f6e9ac54672e /src/main/java/com/google/devtools/build/lib/runtime | |
| parent | 0f674879c678ac6d0fd9096129b738bdb4ad6387 (diff) | |
Update comments about the option processor.
There were a few places where the current state of the world was not clear.
RELNOTES: None.
PiperOrigin-RevId: 167273651
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime')
0 files changed, 0 insertions, 0 deletions