| commit | 25223a9e2b84e3f8977ed70f34ee90bb99d4071f | [log] [tgz] |
|---|---|---|
| author | Claudiu Popa <pcmanticore@gmail.com> | Tue May 05 14:05:26 2020 +0200 |
| committer | Claudiu Popa <pcmanticore@gmail.com> | Tue May 05 14:24:05 2020 +0200 |
| tree | f57c1f0dbc8552c20c9d4358c6015857ff8a0e6b | |
| parent | cfa61e9c8525098f51801f5fc101953e41492ef9 [diff] |
``pylint.Run`` accepts ``do_exit`` as a deprecated parameter We need to allow various third party libraries that depend on `pylint` to still use `do_exit` until they can move over to `exit`. Close #3590