Files
Konstantin Raev 85299dcf1d 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-15 10:40:24 +00:00
..
2015-03-23 10:56:09 -07:00