diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-15 23:30:26 +0200 |
---|---|---|
committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-16 16:57:17 +0200 |
commit | 20d88d7304075f7e1e1317d841b4ce1a1e1ede64 (patch) | |
tree | e941ca9c2cc732de360efcd112c29c6f1916f083 /doc/user_guide/index.rst | |
parent | 68ae491ad34c235d0d6b9055c943c98c26e11718 (diff) | |
download | pylint-git-20d88d7304075f7e1e1317d841b4ce1a1e1ede64.tar.gz |
[doc] Better more useful links for ide integration
Co-authored-by: Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com>
Diffstat (limited to 'doc/user_guide/index.rst')
-rw-r--r-- | doc/user_guide/index.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user_guide/index.rst b/doc/user_guide/index.rst index 5d543d982..84947b530 100644 --- a/doc/user_guide/index.rst +++ b/doc/user_guide/index.rst @@ -11,5 +11,5 @@ User Guide output message-control options - ide-integration + ide_integration/ide-integration pre-commit-integration |