diff options
author | Norbert Preining <norbert@preining.info> | 2020-04-23 03:02:25 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-04-23 03:02:25 +0000 |
commit | b86f6f3256611ce04f593d897b9cf412d18fa062 (patch) | |
tree | c5fecf75a10834f6ca5b39548a48f67d6294918c /support/tlcockpit/scripts | |
parent | e0e2537ccbac6924b371be81092c1177e817162c (diff) |
CTAN sync 202004230302
Diffstat (limited to 'support/tlcockpit/scripts')
-rwxr-xr-x | support/tlcockpit/scripts/tlcockpit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/tlcockpit/scripts/tlcockpit.sh b/support/tlcockpit/scripts/tlcockpit.sh index 1b2e8d9cb0..11da62a683 100755 --- a/support/tlcockpit/scripts/tlcockpit.sh +++ b/support/tlcockpit/scripts/tlcockpit.sh @@ -1,5 +1,5 @@ #!/bin/bash -# Public domain. Originally written by Norbert Preining and Karl Berry, 2018-2019. +# Public domain. Originally written by Norbert Preining and Karl Berry, 2018-2020. scriptname=`basename "$0"` javaVersion=$(java -version 2>&1 | head -1) |