1 files changed, 0 insertions, 25 deletions
diff --git a/deployment/deploy-jnlp-webstarttest-filter.sh b/deployment/deploy-jnlp-webstarttest-filter.sh
deleted file mode 100755
index 77eda44..0000000
--- a/deployment/deploy-jnlp-webstarttest-filter.sh
+++ /dev/null
@@ -1,25 +0,0 @@
-#! /bin/sh
-
-wsdir=$1
-shift 
-
-if [ -z "$wsdir" ] ; then
-    echo usage $0 webstartdir
-    exit 1
-fi
-
-if [ ! -e $wsdir ] ; then
-    echo $wsdir does not exist
-    exit 1
-fi
-
-cd $wsdir
-
-rm -rf orig-jnlp
-mkdir orig-jnlp
-
-for i in *.jnlp ; do
-    mv $i orig-jnlp
-    sed -e 's/<security>//g' -e 's/<\/security>//g' -e 's/<all-permissions\/>//g' orig-jnlp/$i > $i
-done
-