| commit | bad0ed16ecb18ee0329748cdc32373d2d50e0e5a | [log] [tgz] |
|---|---|---|
| author | Filip Gruszczynski <gruszczy@google.com> | Thu Nov 05 17:00:18 2015 +0000 |
| committer | Android (Google) Code Review <android-gerrit@google.com> | Thu Nov 05 17:00:18 2015 +0000 |
| tree | 01d81d9bd7d764333f76e56e05a676ecf3ecab97 | |
| parent | 4a16de0e325035d5da9661e52cb2af937dd00990 [diff] | |
| parent | 57f76f1c549f37ffb4c0eaac40b6ab633404b0f7 [diff] |
Merge "Animate the dock divider appearance/disappearance."