diff options
author | The Android Open Source Project <initial-contribution@android.com> | 2017-01-05 11:27:02 -0800 |
---|---|---|
committer | The Android Open Source Project <initial-contribution@android.com> | 2017-01-05 11:27:02 -0800 |
commit | 36a06fa4be7930a6714f04795503ee17de32102c (patch) | |
tree | 86334d46f0f849707ceb79f4eab1a98d9fbe238b | |
parent | 2868d4ba5fb1ad890227d4cfba9c0e19912a5f7b (diff) | |
download | manifest-android-7.1.1_r13.tar.gz |
Manifest for Android 7.1.1 Release 13android-7.1.1_r13android-7.1.1_r13
-rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index d87882f53..851baa900 100644 --- a/default.xml +++ b/default.xml @@ -3,7 +3,7 @@ <remote name="aosp" fetch=".." /> - <default revision="refs/tags/android-7.1.1_r12" + <default revision="refs/tags/android-7.1.1_r13" remote="aosp" sync-j="4" /> |