diff options
author | Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-05-19 11:07:01 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-19 11:07:01 +0200 |
commit | 13f15ba8c351c023635a33614f721561caa44397 (patch) | |
tree | e01a4fb315196a628972028a7d0300509db4d9de /doc/user_guide/messages | |
parent | 57c0cd08b52220ff90475770cbd0656e5e18f50e (diff) | |
download | pylint-git-13f15ba8c351c023635a33614f721561caa44397.tar.gz |
Revert change to names of messages documentation files (#6647)
Diffstat (limited to 'doc/user_guide/messages')
-rw-r--r-- | doc/user_guide/messages/messages_introduction.rst (renamed from doc/user_guide/messages/index.rst) | 2 | ||||
-rw-r--r-- | doc/user_guide/messages/messages_list.rst (renamed from doc/user_guide/messages/messages_overview.rst) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/user_guide/messages/index.rst b/doc/user_guide/messages/messages_introduction.rst index f663c26c9..b0ffb91e0 100644 --- a/doc/user_guide/messages/index.rst +++ b/doc/user_guide/messages/messages_introduction.rst @@ -8,7 +8,7 @@ Messages :maxdepth: 1 :hidden: - messages_overview.rst + messages_list.rst message_control.rst Messages categories diff --git a/doc/user_guide/messages/messages_overview.rst b/doc/user_guide/messages/messages_list.rst index 0484dbd5e..0484dbd5e 100644 --- a/doc/user_guide/messages/messages_overview.rst +++ b/doc/user_guide/messages/messages_list.rst |