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

HirIdify some lints #3814

Merged
merged 3 commits into from
Feb 26, 2019
Merged

HirIdify some lints #3814

merged 3 commits into from
Feb 26, 2019

Commits on Feb 24, 2019

  1. HirIdify some lints

    @ljedrz
    ljedrz committed Feb 24, 2019
    Configuration menu
    Copy the full SHA
    8dac8a6 View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2019

  1. fix: replace wrong id

    @ljedrz
    ljedrz committed Feb 25, 2019
    Configuration menu
    Copy the full SHA
    7bc2e1d View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2019

  1. fix line format

    @ljedrz
    ljedrz committed Feb 26, 2019
    Configuration menu
    Copy the full SHA
    c1b65ec View commit details
    Browse the repository at this point in the history