| commit | db3e6ed4270061538908ecc577df6f6a0d17ada3 | [log] [tgz] |
|---|---|---|
| author | Jorim Jaggi <jjaggi@google.com> | Mon May 12 20:18:47 2014 +0200 |
| committer | Jorim Jaggi <jjaggi@google.com> | Mon May 12 21:10:54 2014 +0200 |
| tree | 0e5cfdaf2d5ac99fb335938c945b875d5e8d1eaa | |
| parent | fc1a824ec1453a84d9c53837df4ab93eca591a5f [diff] |
Fix clipping and outline for top quick settings header. Change-Id: I4b4d093d4c6abe120fc166b75e1bd96446027794