Files
Konstantin Raev a04a9c73e9 Added ability to switch version in documentation website
Website header now contains version number which is a link.
Clicking the link redirects you to a page that lists all the previous versions of the website.

Considering that we do a branch cut every 2 weeks a solution with dropdown did not feel right because it would grow fast.
As an improvement for the future - we could link change docs in the versions.html
2016-02-12 19:30:41 +00:00
..
2015-03-23 10:56:09 -07:00