diff options
Diffstat (limited to 'Tools/scripts')
| -rwxr-xr-x | Tools/scripts/convert-makefile-header.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/convert-makefile-header.pl b/Tools/scripts/convert-makefile-header.pl index 23ece471379a..f92971db2be9 100755 --- a/Tools/scripts/convert-makefile-header.pl +++ b/Tools/scripts/convert-makefile-header.pl @@ -28,7 +28,7 @@ Usage: $bn [OPTION] PORT _ENOUSAGE } -my $nicepeople="(\\s(araujo|az|avilla|bapt|bdrewery|beat|crees|eadler|flo|flz|garga|kuriyama|linimon|makc|rm|wxs)\@freebsd.org|cvs-src\@yandex\.ru|villa\.alberto@|pgollucci\@p6m7g8\.com|bsdkaffee@|baptiste\.daroussin\@gmail.com)"; +my $nicepeople="(\\s(araujo|az|avilla|bapt|bdrewery|beat|crees|eadler|flo|flz|garga|kuriyama|linimon|makc|rm|tabthorpe|wxs)\@freebsd.org|cvs-src\@yandex\.ru|villa\.alberto@|pgollucci\@p6m7g8\.com|bsdkaffee@|baptiste\.daroussin\@gmail.com)"; sub get_creator($) { my $header=shift; |