diff options
| author |  Lukacs Berki <lberki@google.com> | 2016-03-31 07:52:15 +0000 |
|---|---|---|
| committer | Lukacs Berki <lberki@google.com> | 2016-03-31 11:44:42 +0000 |
| commit | 14ab5677cdb32debd2992411a396798b678d445c (patch) | |
| tree | 760c9df86f7d7132649e6d385ac45715011b5566 /src/main/java/com/google/devtools/build/lib/packages/NoSuchThingException.java | |
| parent | 84779580c5d2338b4273773b0fc311e35c149ccc (diff) | |
Do not special-case the //external package so in so that target pattern parsing for it is not broken.
--
MOS_MIGRATED_REVID=118654985
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/packages/NoSuchThingException.java')
0 files changed, 0 insertions, 0 deletions