Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMickael Istria2018-04-30 14:21:49 -0400
committerWim Jongman2018-04-30 16:30:03 -0400
commita69c6b2ea2143b7494df1c047931d7176e604fa5 (patch)
tree8e59378e22ff8d0494a5ee81bc55b778d33e9d7c
parent15c4f96e881d6023a5cc4ee90e0b9b747ebc4fd6 (diff)
downloadeclipse.platform.ua-I20180501-2000.tar.gz
eclipse.platform.ua-I20180501-2000.tar.xz
eclipse.platform.ua-I20180501-2000.zip
Bug 534158 - Include tips feature in buildI20180501-2000
Change-Id: I0a8bb93247496de111059065987960a69d9bb9b1 Signed-off-by: Mickael Istria <mistria@redhat.com>
-rw-r--r--pom.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/pom.xml b/pom.xml
index 364c5781c..afd8031b2 100644
--- a/pom.xml
+++ b/pom.xml
@@ -68,6 +68,7 @@
<module>org.eclipse.tips.ui</module>
<module>org.eclipse.tips.ide</module>
<module>org.eclipse.tips.json</module>
+ <module>org.eclipse.tips.feature</module>
</modules>
</project>

Back to the top