diff options
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 |