diff options
| author | Jorim Jaggi <jjaggi@google.com> | 2014-05-01 19:17:37 +0200 |
|---|---|---|
| committer | Jorim Jaggi <jjaggi@google.com> | 2014-05-02 16:14:49 +0200 |
| commit | 0dd6881ea481c855976214807c17595b34a2920a (patch) | |
| tree | 9c4e9949a9c82360d0cd5bfebce62fbda4c51e5e /docs/html/sdk/api_diff/18 | |
| parent | 4222d9a7fb87d73e1443ec1a2de9782b05741af6 (diff) | |
Introduce animation for changing top margin.
Change-Id: I7f77a1c69efc2dca3e5a37e7d6fc497ae487ec46
Diffstat (limited to 'docs/html/sdk/api_diff/18')
0 files changed, 0 insertions, 0 deletions