X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=org.simantics.maps.elevation.server.ui%2Fplugin.xml;fp=org.simantics.maps.elevation.server.ui%2Fplugin.xml;h=1e8eaa1a9f9a240049b97549ab1f2f299f2ec96c;hb=c6ddbec532645f52583c1ab9691cfb802724fca7;hp=0000000000000000000000000000000000000000;hpb=a1fb6a041444504a126b01ad1137e14a4994fa30;p=simantics%2Fdistrict.git

diff --git a/org.simantics.maps.elevation.server.ui/plugin.xml b/org.simantics.maps.elevation.server.ui/plugin.xml
new file mode 100644
index 00000000..1e8eaa1a
--- /dev/null
+++ b/org.simantics.maps.elevation.server.ui/plugin.xml
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.4"?>
+<plugin>
+    <extension
+          point="org.eclipse.ui.preferencePages">
+    <page
+          category="org.simantics.district.network.ui.preferences"
+          class="org.simantics.maps.elevation.server.ui.MapsElevationServerPreferencePage"
+          id="org.simantics.maps.elevation.server.ui.preferences"
+          name="Elevation server">
+    </page>
+    </extension>
+</plugin>