tree 560b5dcb1a3b1dc694a176dd7fca8e7c63f77414
parent 645e9e7c05f21e9c9494857b99a6a39ae5d71fc4
parent a2037834cfb9fed135fdfb5e2158c28edba03634
author Scott Main <smain@google.com> 1292442800 -0800
committer Android Git Automerger <android-git-automerger@android.com> 1292442800 -0800

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 '92b0308530d21195425c918cbe6057dd84f37992':
  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