aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMark Macdonald2013-06-19 18:49:26 (EDT)
committerskaegi2013-06-19 23:45:27 (EDT)
commitb329f9132c8c72adf8afbaf0a791fe08ca247eb5 (patch)
tree5cdfe33585c926b7d0c23d76b93ae6716965c401
parent8079533b526147179af89a24e1e5239dec711090 (diff)
downloadorg.eclipse.orion.server-b329f9132c8c72adf8afbaf0a791fe08ca247eb5.zip
org.eclipse.orion.server-b329f9132c8c72adf8afbaf0a791fe08ca247eb5.tar.gz
org.eclipse.orion.server-b329f9132c8c72adf8afbaf0a791fe08ca247eb5.tar.bz2
[Bug 411178] webEditingPlugin is not minified
-rw-r--r--releng/org.eclipse.orion.releng/builder/customTargets.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/releng/org.eclipse.orion.releng/builder/customTargets.xml b/releng/org.eclipse.orion.releng/builder/customTargets.xml
index b18db37..9c87b04 100644
--- a/releng/org.eclipse.orion.releng/builder/customTargets.xml
+++ b/releng/org.eclipse.orion.releng/builder/customTargets.xml
@@ -276,6 +276,7 @@ lastMapTag=${mapsTagTag}
<optimize pageDir="plugins" name="jslintPlugin" bundle="org.eclipse.orion.client.ui" />
<optimize pageDir="plugins" name="preferencesPlugin" bundle="org.eclipse.orion.client.ui" />
<optimize pageDir="plugins" name="taskPlugin" bundle="org.eclipse.orion.client.ui" />
+ <optimize pageDir="plugins" name="webEditingPlugin" bundle="org.eclipse.orion.client.ui" />
<optimize pageDir="sites" name="site" bundle="org.eclipse.orion.client.ui" />
<optimize pageDir="sites" name="sites" bundle="org.eclipse.orion.client.ui" />
<optimize pageDir="sites" name="view" bundle="org.eclipse.orion.client.ui" />