| commit | 8ad0eac7ff030940949e26688311ec857999735d | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Mon Oct 14 22:01:28 2013 +0300 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Mon Oct 14 22:01:28 2013 +0300 |
| tree | 4ed917b737992f6581b8b1baf51f806a552e89e8 | |
| parent | 25f68937200d484f65ec107fb76401f90aa6a22a [diff] |
#4965: Implement intelligent scrolling of the sidebar in the docs.