commit | 0f96324f5a393b5f790040d08413c0e9720c3726 | [log] [tgz] |
---|---|---|
author | TreeHugger Robot <treehugger-gerrit@google.com> | Mon Apr 09 17:55:48 2018 +0000 |
committer | Android (Google) Code Review <android-gerrit@google.com> | Mon Apr 09 17:55:48 2018 +0000 |
tree | 2084e13a39be879a1ba7dffe6689602805b6b099 | |
parent | 6f99da88db2e59bbfba82d079370130d4026ce12 [diff] | |
parent | 52f70351f4a36151c4d50d61dd68bf9b6a22c34f [diff] |
Merge "Update PreferenceCategory headers to use headline font." into pi-dev