commit | 787cbb37d5cb2334af80d8da1b8fa4286e845eee | [log] [tgz] |
---|---|---|
author | Dirk Dougherty <ddougherty@google.com> | Wed May 15 06:38:32 2013 -0700 |
committer | Android Git Automerger <android-git-automerger@android.com> | Wed May 15 06:38:32 2013 -0700 |
tree | 0c34374a6ff6410b3befa20c5be2acc1e56674d4 | |
parent | c3069c2614c76ad74c5b947126fc2037b9e7b61b [diff] | |
parent | 9a51dfd4e3e10411ede67743f85cdd510ba3eb90 [diff] |
am 9a51dfd4: Merge "Doc change: add redirects for edu urls." into jb-mr1.1-docs * commit '9a51dfd4e3e10411ede67743f85cdd510ba3eb90': Doc change: add redirects for edu urls.