diff options
author | Karl Berry <karl@freefriends.org> | 2007-07-13 17:13:39 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-07-13 17:13:39 +0000 |
commit | c847617ad264b8da5bd02d78fe0342d3b35b1ef0 (patch) | |
tree | 6473df86c46e3d2f94953324b288835300242914 /Master/tlpkg/lib | |
parent | c9bb2d4bf7827f115efdfe4798e0359219681e3b (diff) |
license instead of licence
git-svn-id: svn://tug.org/texlive/trunk@4576 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/lib')
-rw-r--r-- | Master/tlpkg/lib/TeXLiveInfra.sh | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/Master/tlpkg/lib/TeXLiveInfra.sh b/Master/tlpkg/lib/TeXLiveInfra.sh index e4a6500dd64..f3eca766017 100644 --- a/Master/tlpkg/lib/TeXLiveInfra.sh +++ b/Master/tlpkg/lib/TeXLiveInfra.sh @@ -1,12 +1,9 @@ -# -# TeXLiveInfra.sh -# shell library for the access to TLDB and TLP +# $Id$ +# TeXLiveInfra.sh - shell library for the access to TLDB and TLP # # Copyright 2007 Norbert Preining -# -# This file is licensed under the GNU General Public Licence version 2 -# or any later version -# +# This file is licensed under the GNU General Public License version 2 +# or any later version. die() { echo $* |