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
Move documentation to docs folder #5459
Per #5409, this pull requests moves the user-facing documentation from the
To do this, I did a few things:
There should be no other change to the user-facing site content.
Also to note,
Once this merges, we can delete the
referenced this pull request
Oct 6, 2016
GitHub Pages is now running Jekyll 3.3.