diff options
Diffstat (limited to 'util/lint/lint-stable-005-board-status')
| -rwxr-xr-x | util/lint/lint-stable-005-board-status | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/util/lint/lint-stable-005-board-status b/util/lint/lint-stable-005-board-status index a00fe0c681..61813eaa10 100755 --- a/util/lint/lint-stable-005-board-status +++ b/util/lint/lint-stable-005-board-status @@ -13,10 +13,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 every board has a meaningful board_info.txt LC_ALL=C export LC_ALL |