tree 828f05735542d7dc9075fd4379c1140e6f5a5530
parent 1111614b433f70673abc1eaac4a619d14d52e7e4
parent f7d458543e64307b01de803d2ddfee2f21b0bd28
author Winson Chung <winsonc@google.com> 1381522707 -0700
committer Android Git Automerger <android-git-automerger@android.com> 1381522707 -0700

am f7d45854: Altering the workspace padding to account for default widget padding (Bug 11116452)

* commit 'f7d458543e64307b01de803d2ddfee2f21b0bd28':
  Altering the workspace padding to account for default widget padding (Bug 11116452)