diff options
| author |  Kristina Chodorow <kchodorow@google.com> | 2016-04-22 17:02:19 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2016-04-22 21:19:17 +0000 |
| commit | 5a2936fd02b213f3edbf62193a0426825931d6dd (patch) | |
| tree | 0101c87ebae66139983efd3c5f50f6c6bdad98b5 /BUILD | |
| parent | 7ef0251b25683d493a877d247eae2ec31c85a5a5 (diff) | |
Check for additions to the directory in new_local_repository
Fixes #806.
RELNOTES: External repository correctness fix: adding a new file/directory as a
child of a new_local_repository is now noticed.
--
MOS_MIGRATED_REVID=120557511
Diffstat (limited to 'BUILD')
0 files changed, 0 insertions, 0 deletions