diff options
author | ahumesky <ahumesky@google.com> | 2017-10-04 18:41:50 +0200 |
---|---|---|
committer | Klaus Aehlig <aehlig@google.com> | 2017-10-06 19:44:42 +0200 |
commit | 30a9bf425969e5ab7739c8500bb50eb08e218d30 (patch) | |
tree | 864cab0c52a252a38f79717f2ad5a03be12a058c /src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java | |
parent | 7b8b295a2b3bac76dd20b4fd9c3a44b4ba1d9bf6 (diff) |
Move "mobile-install (Android)" link in navigation bar to the android section and rename to just "mobile-install".
RELNOTES: None.
PiperOrigin-RevId: 171021110
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/config/BuildConfiguration.java')
0 files changed, 0 insertions, 0 deletions