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