diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2020-11-15 10:21:42 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2020-11-15 10:22:11 +0100 |
| commit | e6fec62e84263dc27eb6123dd41ff4eb040ef260 (patch) | |
| tree | e18ca2799db49aee96d13cba0f88a73fc0932f94 /www-servers | |
| parent | dev-python/hiredis: Version bump (diff) | |
| download | gentoo-e6fec62e84263dc27eb6123dd41ff4eb040ef260.tar.gz gentoo-e6fec62e84263dc27eb6123dd41ff4eb040ef260.tar.bz2 gentoo-e6fec62e84263dc27eb6123dd41ff4eb040ef260.zip | |
dev-python/pylint: Remove obsolete pylint-gui message
<dwfreed> I don't think pylint-gui exists anymore
<dwfreed> I think that message is a relic
<dwfreed> https://github.com/PyCQA/pylint/commit/c70b281c62deef9f0b7dad10efbd614ccf02d637
<dwfreed> gone since 1.7
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'www-servers')
0 files changed, 0 insertions, 0 deletions