diff options
author | The Android Open Source Project <initial-contribution@android.com> | 2019-11-04 12:18:11 -0800 |
---|---|---|
committer | The Android Open Source Project <initial-contribution@android.com> | 2019-11-04 12:18:11 -0800 |
commit | 0ad853a1fafd612b11a0dc77c806f05421558e88 (patch) | |
tree | 994e3f093e75eeab715a4062df3c72a9bfd58bc2 | |
parent | 425389bddad34a5fd6419ac2f7c4c958ff514e61 (diff) | |
download | manifest-0ad853a1fafd612b11a0dc77c806f05421558e88.tar.gz |
Manifest for Android 10.0.0 Release 13android-10.0.0_r13android-10.0.0_r13
-rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index da7387eb5..5d8dfed2d 100644 --- a/default.xml +++ b/default.xml @@ -4,7 +4,7 @@ <remote name="aosp" fetch=".." review="https://android-review.googlesource.com/" /> - <default revision="refs/tags/android-10.0.0_r12" + <default revision="refs/tags/android-10.0.0_r13" remote="aosp" sync-j="4" /> |