diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2015-10-31 11:55:10 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-10-31 21:37:39 +0100 |
| commit | a73b93157f2a5ed42bebf9a5948a4e2cedcb4250 (patch) | |
| tree | 9e058ce7ae03b1b14acebc050b4b2d837c7cabb9 /util/lint/lint-000-license-headers | |
| parent | 74b13a56166649967a3e9ab0e4ea5c68b518c6b2 (diff) | |
tree: drop last paragraph of GPL copyright header
It encourages users from writing to the FSF without giving an address.
Linux also prefers to drop that and their checkpatch.pl (that we
imported) looks out for that.
This is the result of util/scripts/no-fsf-addresses.sh with no further
editing.
Change-Id: Ie96faea295fe001911d77dbc51e9a6789558fbd6
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: http://review.coreboot.org/11888
Tested-by: build bot (Jenkins)
Reviewed-by: Alexandru Gagniuc <mr.nuke.me@gmail.com>
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
Diffstat (limited to 'util/lint/lint-000-license-headers')
| -rwxr-xr-x | util/lint/lint-000-license-headers | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers index 12cbe6c3bc..3c75ddff4f 100755 --- a/util/lint/lint-000-license-headers +++ b/util/lint/lint-000-license-headers @@ -12,10 +12,6 @@ # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # -# You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc. -# # # DESCR: Check that all files in src/ and util/ have valid license headers |