tree 6439dc04af2abd2da8a00ce295d5e6d621d119cf
parent 02d1863c595d14338045e806668ec60d7db45293
author Michael Jurka <mikejurka@google.com> 1366297078 +0200
committer Michael Jurka <mikejurka@google.com> 1366297078 +0200

Trim widget names

Bug: 8617506