HTTPS clone URL
Subversion checkout URL
Please sign in to comment.
Fixes #16933 -- Made the version of the doc always visible in the bot…
…tom left corner. Also made it possible to easily switch to other versions (inspiration from RTD).
- Loading branch information...
Showing with 60 additions and 19 deletions.