mirror of
https://git.FreeBSD.org/src.git
synced 2024-11-30 08:19:09 +00:00
7 lines
130 B
PHP
7 lines
130 B
PHP
|
# $FreeBSD$
|
||
|
|
|
||
|
|
# Do not lint the GNU stuff. It is all externally maintained and
|
||
|
|
# lint output is wasteful noise here.
|
||
|
|
|
||
|
|
NOLINT= true
|