diff options
| -rwxr-xr-x | script/configure_check_unused.pl (renamed from source4/script/configure_check_unused.pl) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/source4/script/configure_check_unused.pl b/script/configure_check_unused.pl index 52d8deeb27..52d8deeb27 100755 --- a/source4/script/configure_check_unused.pl +++ b/script/configure_check_unused.pl |