diff options
Diffstat (limited to 'doc/exts/pylint_extensions.py')
| -rwxr-xr-x | doc/exts/pylint_extensions.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/exts/pylint_extensions.py b/doc/exts/pylint_extensions.py index c06c90e08..824514be5 100755 --- a/doc/exts/pylint_extensions.py +++ b/doc/exts/pylint_extensions.py @@ -1,6 +1,6 @@ #!/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/master/COPYING +# For details: https://github.com/PyCQA/pylint/blob/master/LICENSE """Script used to generate the extensions file before building the actual documentation.""" |