tree 698e5fc4287c85672422890a009f5067baf7b0c1
parent 200d9b28c8674ccc5e2e8262f2e2b4d742eac46a
parent fcdb5893fa855936a3d24d275bde147d4b421171
author Scott Main <smain@google.com> 1292443156 -0800
committer Android Git Automerger <android-git-automerger@android.com> 1292443156 -0800

am 8591872a: am 92b03085: cherrypick Change-Id: I19d2be00c807b6cbdab357b32a7dd13f98a5433e docs: update to adt 8.0.1; delete ADT archive page, put a redirect in its place; update tools release notes and sys reqs to require ant 1.8

* commit '8591872a5c37754aa3be3ef575d3de667f8ee70c':
  cherrypick Change-Id: I19d2be00c807b6cbdab357b32a7dd13f98a5433e docs: update to adt 8.0.1; delete ADT archive page, put a redirect in its place; update tools release notes and sys reqs to require ant 1.8