summaryrefslogtreecommitdiff
path: root/lint.sh
AgeCommit message (Expand)Author
2022-10-04Add initial linting script based on splintxengineering
generated by cgit v1.2.3-70-g09d2 (git 2.47.1) at 2025-01-02 18:12:57 +0000