diff options
-rwxr-xr-x | Master/tlpkg/bin/ctan2tl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl index c2b9c1477e2..11cd34cfbde 100755 --- a/Master/tlpkg/bin/ctan2tl +++ b/Master/tlpkg/bin/ctan2tl @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # $Id$ # Public domain. Originally written 2005, Karl Berry. # |