diff options
author | Trevor Summers Smith <trevorsummerssmith@gmail.com> | 2018-02-15 01:45:47 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-02-15 01:47:45 -0800 |
commit | 2d5326a95759e0d5e4e170837968b064bb5d4582 (patch) | |
tree | ef3b9bb491ea0191a9469800a0b8a89382eda885 /src/main/java/com/google/devtools/build/lib/runtime/KeepGoingOption.java | |
parent | b7d09c568462a21e313fdfea295d40a13f8765f6 (diff) |
Change extension -> evaluation in docs
Extension seems to be incorrect as this is referring to the valuation model
Closes #4521.
PiperOrigin-RevId: 185808054
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/KeepGoingOption.java')
0 files changed, 0 insertions, 0 deletions