diff options
author | 2016-01-07 19:14:42 +0000 | |
---|---|---|
committer | 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