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

doc: edit the benchmark guide #12041

Closed
wants to merge 2 commits into from
Closed

doc: edit the benchmark guide #12041

wants to merge 2 commits into from

Commits on Mar 25, 2017

  1. doc: edit the benchmark guide 

    These are minor typographical and style improvements to the guide for
writing and running benchmarks.
    @Trott
    Trott committed Mar 25, 2017
    Configuration menu
    Copy the full SHA
    6bdc2dd View commit details
    Browse the repository at this point in the history

  2. squash: a -> an

    @Trott
    Trott committed Mar 25, 2017
    Configuration menu
    Copy the full SHA
    88ccafc View commit details
    Browse the repository at this point in the history