| commit | 28f5225443f72f7e46982f3fe22dd55e19ae4fac | [log] [tgz] |
|---|---|---|
| author | Jorim Jaggi <jjaggi@google.com> | Mon May 12 19:14:12 2014 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Mon May 12 19:14:12 2014 +0000 |
| tree | 2286ea38126aa9b864da3eff3f2e1a6d3b2c48bb | |
| parent | e1071df959dd18eb6706d23473125af7cf817ff7 [diff] | |
| parent | db3e6ed4270061538908ecc577df6f6a0d17ada3 [diff] |
Merge "Fix clipping and outline for top quick settings header."