diff options
Diffstat (limited to 'Porting')
-rwxr-xr-x | Porting/Maintainers.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Porting/Maintainers.pl b/Porting/Maintainers.pl index 35bc059666..de1f560099 100755 --- a/Porting/Maintainers.pl +++ b/Porting/Maintainers.pl @@ -1073,7 +1073,7 @@ use File::Glob qw(:case); dist.ini examples/indent.pl examples/subtest.t - examples/tools.t + examples/tools.pl examples/tools.t t/00compile.t t/xxx-changes_updated.t |