diff options
Diffstat (limited to 'TOOLS/w32codec_dl.pl')
| -rwxr-xr-x | TOOLS/w32codec_dl.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/TOOLS/w32codec_dl.pl b/TOOLS/w32codec_dl.pl index 41f4f9feca..c4a16b6b58 100755 --- a/TOOLS/w32codec_dl.pl +++ b/TOOLS/w32codec_dl.pl @@ -166,4 +166,3 @@ sub get_codec print "No such file!\n"; } } - |