summaryrefslogtreecommitdiff
path: root/util/lint/helper_functions.sh
AgeCommit message (Expand)Author
2022-10-21util/lint: Fix linting outside of git reposMartin Roth
2022-09-30util/lint: Update tools that use git to use a libraryMartin Roth