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: change make lint to make lint-md #45197

Closed
wants to merge 1 commit into from
Closed

doc: change make lint to make lint-md #45197

wants to merge 1 commit into from

Commits on Oct 27, 2022

  1. doc: change make lint to make lint-md 

    This change might save some time during the release steps
    @RafaelGSS
    RafaelGSS committed Oct 27, 2022
    Copy the full SHA
    202417d View commit details
    Browse the repository at this point in the history