diff options
Diffstat (limited to 'doc/exts/pylint_extensions.py')
| -rwxr-xr-x | doc/exts/pylint_extensions.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/exts/pylint_extensions.py b/doc/exts/pylint_extensions.py index b1c302217..936bdbb6b 100755 --- a/doc/exts/pylint_extensions.py +++ b/doc/exts/pylint_extensions.py @@ -1,8 +1,8 @@ #!/usr/bin/env python # Licensed under the GPL: https://www.gnu.org/licenses/old-licenses/gpl-2.0.html -# For details: https://github.com/PyCQA/pylint/blob/main/LICENSE -# Copyright (c) https://github.com/PyCQA/pylint/blob/main/CONTRIBUTORS.txt +# For details: https://github.com/pylint-dev/pylint/blob/main/LICENSE +# Copyright (c) https://github.com/pylint-dev/pylint/blob/main/CONTRIBUTORS.txt """Script used to generate the extensions file before building the actual documentation.""" |