diff options
author | Roberto Leinardi <leinardi@gmail.com> | 2018-08-22 11:07:12 +0200 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2018-08-23 09:25:50 +0200 |
commit | b3dc683b83fef78bef9774ad26bc44647beb2457 (patch) | |
tree | 36b2fee2bada1d8749ac5344f74f485df7462c77 /CONTRIBUTORS.txt | |
parent | 064f3788bba2ceff202a7efabb9516b52730cb03 (diff) | |
download | pylint-git-b3dc683b83fef78bef9774ad26bc44647beb2457.tar.gz |
added pylint-PyCharm-plugin to the ide integration docs
Diffstat (limited to 'CONTRIBUTORS.txt')
-rw-r--r-- | CONTRIBUTORS.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CONTRIBUTORS.txt b/CONTRIBUTORS.txt index 7cd2de4a7..5d0b6992c 100644 --- a/CONTRIBUTORS.txt +++ b/CONTRIBUTORS.txt @@ -221,3 +221,5 @@ contributors: * Natalie Serebryakova: contributor * Caio Carrara: contributor + +* Roberto Leinardi: PyCharm plugin maintainer
\ No newline at end of file |