Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Stop maintaining a list of lint targets #12420

Merged
merged 2 commits into from
Apr 8, 2022
Merged

Stop maintaining a list of lint targets #12420

merged 2 commits into from
Apr 8, 2022

Commits on Apr 8, 2022

  1. Stop maintaining a list of lint targets 

    instead, configure the tools to find sensible targets.

Pulled out from #12337; part (but not all) of
e53e99e. Related: #12107.
    David Robertson committed Apr 8, 2022
    Configuration menu
    Copy the full SHA
    ad6da64 View commit details
    Browse the repository at this point in the history

  2. changelog

    David Robertson committed Apr 8, 2022
    Configuration menu
    Copy the full SHA
    0ff3080 View commit details
    Browse the repository at this point in the history