diff options
| author | Konstantin Manna <Konstantin@Manna.uno> | 2018-07-31 18:16:46 +0200 |
|---|---|---|
| committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-08-01 08:40:54 +0200 |
| commit | 1dffc589bbcad0bde33de0c486ca73f3c683b11d (patch) | |
| tree | 30c54a8506ebdcacbed232af843ae5b34a4a5b17 /doc/conf.py | |
| parent | 9cb0e3aa04de095ab50ec7b54bad46f2f9aa2eb6 (diff) | |
| download | pylint-git-1dffc589bbcad0bde33de0c486ca73f3c683b11d.tar.gz | |
use sphinx-build instead of rstlint
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions