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.

Sign up for GitHub

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

Jump to bottom

Full (mostly) editorial pass #1665

Closed
wants to merge 5 commits into from
Closed

Full (mostly) editorial pass #1665

wants to merge 5 commits into from

Commits on Aug 10, 2018

  1. Editorial pass 

    Up to section 6.6.2
    @mirjak
    mirjak committed Aug 10, 2018
    Configuration menu
    Copy the full SHA
    56d6954 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2018

  1. Full editorial pass

    @mirjak
    mirjak committed Aug 15, 2018
    Configuration menu
    Copy the full SHA
    835b1e5 View commit details
    Browse the repository at this point in the history

  2. tailing spaces...

    @mirjak
    mirjak committed Aug 15, 2018
    Configuration menu
    Copy the full SHA
    3f61ebc View commit details
    Browse the repository at this point in the history

  3. still tailing spaces...

    @mirjak
    mirjak committed Aug 15, 2018
    Configuration menu
    Copy the full SHA
    dee34a1 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2018

  1. Comments form @ianswett, @nibanks, and @MikeBishop

    @mirjak
    mirjak committed Aug 16, 2018
    Configuration menu
    Copy the full SHA
    70e97ec View commit details
    Browse the repository at this point in the history