Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clean up and de-dup the docs repository #178

Merged
merged 4 commits into from Dec 29, 2016
Merged

Clean up and de-dup the docs repository #178

merged 4 commits into from Dec 29, 2016

Commits on Dec 25, 2016

  1. Copy the full SHA
    2a08236 View commit details
    Browse the repository at this point in the history
  2. Clean up several pages

    No big changes here, just housecleaning
    bhs committed Dec 25, 2016
    Copy the full SHA
    19ffec7 View commit details
    Browse the repository at this point in the history
  3. Copy the full SHA
    2125d24 View commit details
    Browse the repository at this point in the history

Commits on Dec 27, 2016

  1. Address PR comments

    bhs committed Dec 27, 2016
    Copy the full SHA
    837f393 View commit details
    Browse the repository at this point in the history