Gilles Peskine e70c6dcee0 Call pylint3, not pylint
We use Python 3, so call Pylint for Python 3, not for Python 2.
2019-02-25 21:42:32 +01:00
..
2019-01-10 18:29:15 +01:00
2019-02-25 21:42:32 +01:00