diff options
| author | Marco Edward Gorelli <marcogorelli@protonmail.com> | 2021-07-18 13:40:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-18 14:40:11 +0200 |
| commit | 7cff708784fffac69efcef4b2351e525742c9e82 (patch) | |
| tree | 2389730b16ad77715c82d8033e71fce107402116 /CONTRIBUTORS.txt | |
| parent | 7b83d90fdebc9013230c2d2bceba4bc8ad207a8f (diff) | |
| download | pylint-git-7cff708784fffac69efcef4b2351e525742c9e82.tar.gz | |
document Jupyter integration (#4714)
Diffstat (limited to 'CONTRIBUTORS.txt')
| -rw-r--r-- | CONTRIBUTORS.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CONTRIBUTORS.txt b/CONTRIBUTORS.txt index 0231d0aa0..c56270c70 100644 --- a/CONTRIBUTORS.txt +++ b/CONTRIBUTORS.txt @@ -514,3 +514,6 @@ contributors: * Will Shanks: contributor * Mark Bell: contributor + +* Marco Gorelli: contributor + - Documented Jupyter integration |