diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2016-06-01 16:11:29 +0100 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2016-06-01 16:25:07 +0100 |
commit | 8322781baae85391b04ae80c3de18be2efe7dc4b (patch) | |
tree | 329acfda2f717b2dbbda814decb12c4d236da6f8 /pylint/__main__.py | |
parent | 1ab47902b75882b21d501c78f2e55566c24e71f7 (diff) | |
download | pylint-git-8322781baae85391b04ae80c3de18be2efe7dc4b.tar.gz |
Add the new shorter license header, including to missing files. Close #894.
Diffstat (limited to 'pylint/__main__.py')
-rw-r--r-- | pylint/__main__.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pylint/__main__.py b/pylint/__main__.py index 7716361de..5530748b2 100644 --- a/pylint/__main__.py +++ b/pylint/__main__.py @@ -1,3 +1,6 @@ +# 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 + #!/usr/bin/env python import pylint pylint.run_pylint() |