diff options
Diffstat (limited to 'support/scripts/website-print-xml-installers')
| -rwxr-xr-x | support/scripts/website-print-xml-installers | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/support/scripts/website-print-xml-installers b/support/scripts/website-print-xml-installers deleted file mode 100755 index 933688d0fc..0000000000 --- a/support/scripts/website-print-xml-installers +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/bash -########################################################-*-Shell-script-*-#### -# Website-Print-XML-Installers Command -############################################################################## -# $Id$ - -program="${0##*/}"; -source "${0%/*}/${program%%-*}.sh"; -"$program" "$@"; - -############################################################################## |