#8040: fix the version.
authorEzio Melotti <ezio.melotti@gmail.com>
Sat, 27 Oct 2012 20:12:48 +0000 (23:12 +0300)
committerEzio Melotti <ezio.melotti@gmail.com>
Sat, 27 Oct 2012 20:12:48 +0000 (23:12 +0300)
commitfd3d102af84bc2ba2162bf5977be91b5e3f9b175
tree8342694b6b6ba1a92f6ada8aa640d762e99577af
parent8645890f8b00e427061cfcd58656f1904fed023b
#8040: fix the version.
Doc/tools/sphinxext/static/version_switch.js