From a69c6b2ea2143b7494df1c047931d7176e604fa5 Mon Sep 17 00:00:00 2001 From: Mickael Istria Date: Mon, 30 Apr 2018 20:21:49 +0200 Subject: Bug 534158 - Include tips feature in build Change-Id: I0a8bb93247496de111059065987960a69d9bb9b1 Signed-off-by: Mickael Istria --- pom.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/pom.xml b/pom.xml index 364c5781c..afd8031b2 100644 --- a/pom.xml +++ b/pom.xml @@ -68,6 +68,7 @@ org.eclipse.tips.ui org.eclipse.tips.ide org.eclipse.tips.json + org.eclipse.tips.feature -- cgit v1.2.3