diff options
author | 2016-01-19 16:12:32 +0000 | |
---|---|---|
committer | 2016-01-19 16:41:29 +0000 | |
commit | 4bdbf338814e38b2fb5ff7033eb4d98c8e0798ff (patch) | |
tree | 72f9ded64170cce0420e9d1119a5858b4076acae /src/main/java/com/google/devtools/build/lib/runtime | |
parent | ddda06d8250fd70a320bd9aa926fd1dd7d52c6f3 (diff) |
Remove the warning for duplicated directories -- they are allowed.
--
MOS_MIGRATED_REVID=112474631
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime')
0 files changed, 0 insertions, 0 deletions