diff options
-rwxr-xr-x | scripts/kernel-doc.pl (renamed from scripts/kernel-doc) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/kernel-doc b/scripts/kernel-doc.pl index af6cf408b96d..af6cf408b96d 100755 --- a/scripts/kernel-doc +++ b/scripts/kernel-doc.pl |