]> gerrit.simantics Code Review - simantics/platform.git/tree - features/org.simantics.ui.workbench.feature/
Merge branch 'master' of ssh://www.simantics.org:29417/simantics/platform
[simantics/platform.git] / features / org.simantics.ui.workbench.feature /
drwxr-xr-x   ..
-rw-r--r-- 406 .project
-rw-r--r-- 642 build.properties
-rw-r--r-- 5475 feature.xml