summaryrefslogtreecommitdiffstats
path: root/Doc/tools/sphinxext/static/version_switch.js
Commit message (Expand)AuthorAgeFilesLines
* #8040: fix jQuery incompatibilityGeorg Brandl2012-10-281-8/+10
* #8040: fix the version.Ezio Melotti2012-10-271-2/+6
* #8040: add a version switcher to the documentation. Patch by Yury Selivanov.Ezio Melotti2012-10-271-0/+60