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

Add reporter alias names to docs #4127

Merged
merged 5 commits into from Jan 3, 2020
Merged

Commits on Jan 3, 2020

  1. Copy the full SHA
    c7f65fa View commit details
    Browse the repository at this point in the history
  2. change wording and delete bold style

    khg0712 authored and juergba committed Jan 3, 2020
    Copy the full SHA
    ad5edb6 View commit details
    Browse the repository at this point in the history
  3. add alias to HTML reporter

    khg0712 authored and juergba committed Jan 3, 2020
    Copy the full SHA
    f3a99e1 View commit details
    Browse the repository at this point in the history
  4. Copy the full SHA
    d29d688 View commit details
    Browse the repository at this point in the history
  5. Add html reporter alias

    khg0712 authored and juergba committed Jan 3, 2020
    Copy the full SHA
    78b7c85 View commit details
    Browse the repository at this point in the history