summaryrefslogtreecommitdiff
path: root/check
AgeCommit message (Expand)AuthorFilesLines
2018-09-24Change: run pylint3 if availableHEADmasterLars Wirzenius1-1/+5
2017-08-20Fix: more Python3 support from StuartLars Wirzenius1-0/+1
2017-08-19Don't run pylintLars Wirzenius1-1/+1
2017-08-19Add: check script to replace "make check"Lars Wirzenius1-0/+8