diff options
author | 2015-09-21 17:08:21 +0000 | |
---|---|---|
committer | 2015-09-22 17:04:30 +0000 | |
commit | d256a821f4051273e3be1617c793c6dc5e77d964 (patch) | |
tree | 144829b08bcbfdac275f15cda6fdc5fe74cef9b8 /src/main/java/com/google/devtools/build/lib/analysis/LicensesProvider.java | |
parent | 2857acc3e89e91244ea85b274dbc182ebdd697ca (diff) |
Clarify that the timeout values are configurable on the command-line.
--
MOS_MIGRATED_REVID=103556315
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/LicensesProvider.java')
0 files changed, 0 insertions, 0 deletions