Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Add sidebar navigation to some documentation pages #275
The navigation on some long pages (dev guide, changelog, install) was getting a bit difficult. This PR adds a side bar to those pages with links to each section.
This was ported over from #266.