diff options
| author | Markus Keller | 2015-08-21 15:02:51 +0000 |
|---|---|---|
| committer | Markus Keller | 2015-08-21 15:02:51 +0000 |
| commit | c50f86fa9266913b5a84fe19b97b950a29d93cc0 (patch) | |
| tree | 398502c91ecc4412e2e28df77191a0766c405405 | |
| parent | 847ed216d3452582296bafd75812788bfc7e3559 (diff) | |
| download | eclipse.platform.ui.tools-c50f86fa9266913b5a84fe19b97b950a29d93cc0.tar.gz eclipse.platform.ui.tools-c50f86fa9266913b5a84fe19b97b950a29d93cc0.tar.xz eclipse.platform.ui.tools-c50f86fa9266913b5a84fe19b97b950a29d93cc0.zip | |
Bug 471835 - Build succeeds, even when "old" parent pom is referred to
| -rw-r--r-- | pom.xml | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -52,8 +52,7 @@ </profile> </profiles> - - <modules> + <modules> <module>./bundles/org.eclipse.e4.tools</module> <module>./bundles/org.eclipse.e4.tools.services</module> <module>./bundles/org.eclipse.e4.tools.compat</module> |