diff -r 6cc579ba2472 -r 0a41ad006a50 ide/pom.xml --- a/ide/pom.xml Sun Apr 14 22:35:00 2013 +0200 +++ b/ide/pom.xml Sun Apr 14 23:07:21 2013 +0200 @@ -14,4 +14,16 @@ editor + + + + org.apache.maven.plugins + maven-deploy-plugin + 2.7 + + true + + + +