diff options
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format (renamed from Master/tlpkg/bin/tl-check-files-by-format) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-check-files-by-format b/Master/tlpkg/bin/check-files-by-format index aa4ec6725b4..aa4ec6725b4 100755 --- a/Master/tlpkg/bin/tl-check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format |