commit 176d4de3f17c7923801cff379851e2d89b818cd4
author Philipe Mulet <pmulet> Tue Jul 24 15:50:44 2001 +0000
committer Philipe Mulet <pmulet> Tue Jul 24 15:50:44 2001 +0000
tree 6afe933429c11263bd52b66fa0cad093655285a1
parent a7d9f749e194a2af62cd82b94ac9229322b59e47

*** empty log message ***

org.eclipse.jdt.core/scripts/pluginUpdate.xml

diff --git a/org.eclipse.jdt.core/scripts/pluginUpdate.xml b/org.eclipse.jdt.core/scripts/pluginUpdate.xml
index 3f4ba6a..10a526c 100644
--- a/org.eclipse.jdt.core/scripts/pluginUpdate.xml
+++ b/org.eclipse.jdt.core/scripts/pluginUpdate.xml
@@ -22,6 +22,9 @@
 		<echo message="UPDATE plugin.xml" />

 		<copy file="plugin.xml" todir="${dest}" />

 

+		<echo message="UPDATE plugin.properties" />

+		<copy file="plugin.properties" todir="${dest}" />

+

 		<echo message="UPDATE notice.html" />

 		<copy file="notice.html" todir="${dest}" />