| commit | 380ce651e940c977058cace141c6ed8a45b7d82a | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Sat Oct 27 22:09:16 2012 +0300 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Sat Oct 27 22:09:16 2012 +0300 |
| tree | 04b16e259ed1b78ab0a92ea200f61c9534bc6cbd | |
| parent | 252cd0e4e0b11c7d13e24146617ad48e80feca43 [diff] |
#8040: add a version switcher to the documentation. Patch by Yury Selivanov.