org.simantics.maps.elevation.server.ui/plugin.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <?eclipse version="3.4"?>
   3 <plugin>
   4     <extension
   5           point="org.eclipse.ui.preferencePages">
   6     <page
   7           category="org.simantics.district.network.ui.preferences"
   8           class="org.simantics.maps.elevation.server.ui.MapsElevationServerPreferencePage"
   9           id="org.simantics.maps.elevation.server.ui.preferences"
  10           name="Elevation server">
  11     </page>
  12     </extension>
  13 </plugin>