| commit | 3d072066c75865b230d27538c5c3afb9875321f9 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Sat Oct 27 22:04:56 2012 +0300 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Sat Oct 27 22:04:56 2012 +0300 |
| tree | 80de884124d7d8bf5f18913cf9f7076403f089f2 | |
| parent | 54eed2e36d2c8e06ce1f1a30a3979587a3ac1af6 [diff] |
#8040: add a version switcher to the documentation. Patch by Yury Selivanov.