tree bfd832d5976d60b1674a0c90c26ec67c69c7d391
parent dbe07456e3686aef62fdb26dff4d806587f0bd27
parent 00801c3609e605594a2409eb1d9fb258079b3a3a
author Winson Chung <winsonc@google.com> 1392411586 +0000
committer Android Git Automerger <android-git-automerger@android.com> 1392411586 +0000

am 00801c36: am 4b817692: am 03e0ad01: am 91778264: am f7d45854: Altering the workspace padding to account for default widget padding (Bug 11116452)

* commit '00801c3609e605594a2409eb1d9fb258079b3a3a':