Sergei Trofimov 109daa7f8c dev_scripts: pylint fixes ...

- Add "set -e" to abort on error
- Update the required version
- Fix path for the "default" runs

2018-07-06 14:39:41 +01:00

1.1 KiB

Executable File

Raw Blame History

View Raw