diff options
Diffstat (limited to 'util/lint/lint-stable-003-whitespace')
| -rwxr-xr-x | util/lint/lint-stable-003-whitespace | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/util/lint/lint-stable-003-whitespace b/util/lint/lint-stable-003-whitespace index 75eb9f2130..3dbd4730f5 100755 --- a/util/lint/lint-stable-003-whitespace +++ b/util/lint/lint-stable-003-whitespace @@ -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 for superfluous whitespace in the tree LC_ALL=C export LC_ALL |