diff options
| author |  Kristina Chodorow <kchodorow@google.com> | 2016-01-07 19:14:42 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2016-01-07 20:22:19 +0000 |
| commit | 43b0f9e2e6768f29c02da3baac8f248db7f0f5da (patch) | |
| tree | 9e596c7f7b3cdff15ec02d08a454cd544fa8d7f1 /src/main/java/com/google/devtools/common/options/Options.java | |
| parent | 0dbc1f9526928f398d18844ef671bfa092ba6590 (diff) | |
Allow relative paths for local_repository()s
Fixes #733.
RELNOTES: Relative paths can now be used for 'path' with new_local_repository
and local_repository.
--
MOS_MIGRATED_REVID=111620894
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/Options.java')
0 files changed, 0 insertions, 0 deletions