summaryrefslogtreecommitdiff
path: root/check
AgeCommit message (Collapse)AuthorFilesLines
2018-09-24Change: run pylint3 if availableHEADmasterLars Wirzenius1-1/+5
2017-08-20Fix: more Python3 support from StuartLars Wirzenius1-0/+1
These changes were sent by Stuart Prescott, but since I am stupid and hadn't pushed my changes to the git server, his patches didn't apply with "git am", and so his commit info got lost.
2017-08-19Don't run pylintLars Wirzenius1-1/+1
It's not available on jessie and meh.
2017-08-19Add: check script to replace "make check"Lars Wirzenius1-0/+8