diff options
| author | David E. O'Brien <obrien@FreeBSD.org> | 2005-02-13 07:23:46 +0000 |
|---|---|---|
| committer | David E. O'Brien <obrien@FreeBSD.org> | 2005-02-13 07:23:46 +0000 |
| commit | 3152376aea3a65195a85469996d1f887cd880554 (patch) | |
| tree | 7662caf88cca9ae3269c0b88e94868fe3db2be93 /gnu/Makefile.inc | |
| parent | cfe9ec803f5ba8fe944b646d162fe7e4d28e7274 (diff) | |
Notes
Diffstat (limited to 'gnu/Makefile.inc')
| -rw-r--r-- | gnu/Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/Makefile.inc b/gnu/Makefile.inc index 63395eba3b77..b1acfb93f874 100644 --- a/gnu/Makefile.inc +++ b/gnu/Makefile.inc @@ -3,4 +3,4 @@ # Do not lint the GNU stuff. It is all externally maintained and # lint output is wasteful noise here. -NOLINT= true +NOLINT= |
