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 /src/main/protobuf/java_compilation.proto | |
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 'src/main/protobuf/java_compilation.proto')
0 files changed, 0 insertions, 0 deletions