From: jsimomaa <jani.simomaa@gmail.com>
Date: Wed, 31 Jul 2019 05:34:10 +0000 (+0300)
Subject: Add missing plugin.xml entry to build.properties
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=1bf269194b02dd102f73d37ba9d3792fcfe41862;hp=4747adf20648a1a8e7d8988135ae1d87989d755b;p=simantics%2Fdistrict.git

Add missing plugin.xml entry to build.properties

gitlab #45

Change-Id: If4cdfc56176731bfebcb3cc1ab18df7cd85502a2
---

diff --git a/org.simantics.maps.elevation.server.ui/build.properties b/org.simantics.maps.elevation.server.ui/build.properties
index 34d2e4d2..e9863e28 100644
--- a/org.simantics.maps.elevation.server.ui/build.properties
+++ b/org.simantics.maps.elevation.server.ui/build.properties
@@ -1,4 +1,5 @@
 source.. = src/
 output.. = bin/
 bin.includes = META-INF/,\
-               .
+               .,\
+               plugin.xml