]> gerrit.simantics Code Review - simantics/district.git/tree - org.simantics.district.region.ui/src/org/simantics/
Hover label profile for district elements.
[simantics/district.git] / org.simantics.district.region.ui / src / org / simantics /
drwxr-xr-x   ..
drwxr-xr-x - district