]> gerrit.simantics Code Review - simantics/district.git/blob - org.simantics.district.network.ui/plugin.properties
Code Review / simantics / district.git / blob
? search:
summary | shortlog | log | commit | commitdiff | review | tree
history | raw | HEAD
Enabling/Disabling map painting
[simantics/district.git] / org.simantics.district.network.ui / plugin.properties
1 DistrictPreferencePage.name=District
Simantics District Modelling components.