]> gerrit.simantics Code Review - simantics/district.git/blob - org.simantics.district.network.ui/plugin.properties
Merge changes Ibf4a6331,I5142a8b6 into release/1.35.3
[simantics/district.git] / org.simantics.district.network.ui / plugin.properties
1 DistrictPreferencePage.name=District