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

Check html comments #77753

Merged
merged 3 commits into from
Oct 15, 2020
Merged

Check html comments #77753

merged 3 commits into from
Oct 15, 2020

Commits on Oct 12, 2020

  1. Clean up rustdoc HTML tags check pass

    @GuillaumeGomez
    GuillaumeGomez committed Oct 12, 2020
    Configuration menu
    Copy the full SHA
    861b892 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2020

  1. Add check for HTML comments

    @GuillaumeGomez
    GuillaumeGomez committed Oct 13, 2020
    Configuration menu
    Copy the full SHA
    0009cba View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2020

  1. Handle multi-line HTML comments

    @GuillaumeGomez
    GuillaumeGomez committed Oct 14, 2020
    Configuration menu
    Copy the full SHA
    dd3be78 View commit details
    Browse the repository at this point in the history