Tushar Sadhwani dd5e2c7762 Fix config section name in doc (#7186) ... The change should also be reflected in rendered docs, like in `doc/user_guide/configuration/all-options.rst`, but I think those are generated from this doc.		2022-07-14 11:54:31 +02:00
..
pylint_extensions.py	Remove redundant options documentation and improve formatting (#6665)	2022-06-06 10:42:17 +02:00
pylint_features.py	Remove redundant options documentation and improve formatting (#6665)	2022-06-06 10:42:17 +02:00
pylint_messages.py	In "Messages Overview", show the bad_code first (#7162)	2022-07-11 17:47:24 +02:00
pylint_options.py	Fix config section name in doc (#7186)	2022-07-14 11:54:31 +02:00