diff options
author | The Android Open Source Project <initial-contribution@android.com> | 2012-11-13 11:15:57 -0800 |
---|---|---|
committer | The Android Open Source Project <initial-contribution@android.com> | 2012-11-13 11:15:57 -0800 |
commit | 7364e5bda54aaa615802efef2742d4deaf3b73c3 (patch) | |
tree | fee8dabaf690f9b1d89f6506f7083e2737a99e02 | |
parent | e138a0d7fbb18e7ee86c71b9e26062244b9db1b7 (diff) |
Manifest for android-4.2_r1android-4.2_r1
Change-Id: Id9d90fce2765067d24291a2fc32927248250f383
-rw-r--r-- | default.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.xml b/default.xml index da153c4..17f4341 100644 --- a/default.xml +++ b/default.xml @@ -4,7 +4,7 @@ <remote name="aosp" fetch=".." review="https://android-review.googlesource.com/" /> - <default revision="jb-mr1-dev" + <default revision="refs/tags/android-4.2_r1" remote="aosp" sync-j="4" /> |