diff options
author | Mickael Istria | 2018-04-30 18:21:49 +0000 |
---|---|---|
committer | Wim Jongman | 2018-04-30 20:30:03 +0000 |
commit | a69c6b2ea2143b7494df1c047931d7176e604fa5 (patch) | |
tree | 8e59378e22ff8d0494a5ee81bc55b778d33e9d7c | |
parent | 15c4f96e881d6023a5cc4ee90e0b9b747ebc4fd6 (diff) | |
download | eclipse.platform.ua-a69c6b2ea2143b7494df1c047931d7176e604fa5.tar.gz eclipse.platform.ua-a69c6b2ea2143b7494df1c047931d7176e604fa5.tar.xz eclipse.platform.ua-a69c6b2ea2143b7494df1c047931d7176e604fa5.zip |
Bug 534158 - Include tips feature in buildI20180501-2000
Change-Id: I0a8bb93247496de111059065987960a69d9bb9b1
Signed-off-by: Mickael Istria <mistria@redhat.com>
-rw-r--r-- | pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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> |