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