merged svn revision 33114 and added desktop and help plugins
[simantics/platform.git] / .mvn /
drwxr-xr-x   ..
-rw-r--r-- 223 extensions.xml