diff -r 6cc579ba2472 -r 814e4be6a104 ide/pom.xml
--- a/ide/pom.xml Sun Apr 14 22:35:00 2013 +0200
+++ b/ide/pom.xml Thu Apr 25 12:44:17 2013 +0200
@@ -14,4 +14,16 @@
editor
+
+
+
+ org.apache.maven.plugins
+ maven-deploy-plugin
+ 2.7
+
+ true
+
+
+
+