tree 89ff3b8e0782a24976bbf43f8856f5fdd5a7fc75
parent 22f742e61ac9ebaedcc20adbd7f13ae6cbce98f4
parent a44794f45e46cec0f23a690480274aad171775d2
author Dirk Dougherty <ddougherty@google.com> 1342667668 -0700
committer Android Git Automerger <android-git-automerger@android.com> 1342667668 -0700

am a44794f4: Merge "Doc change: add button link to developer console." into jb-dev

* commit 'a44794f45e46cec0f23a690480274aad171775d2':
  Doc change: add button link to developer console.