]> gerrit.simantics Code Review - simantics/district.git/history - org.simantics.district.selection.ui/plugin.xml
Fixed most warnings from district codebase after JavaSE-11 switch
[simantics/district.git] / org.simantics.district.selection.ui / plugin.xml
2019-02-13 Reino RuusuUI for diagram element selection 38/2638/5