- Minor changes, comments.
Merge branch 'master' of https://github.com/edwinfernado/pmWorkspaceManagement
Merge branch 'master' of https://github.com/edwinfernado/pmWorkspaceManagement
Merge branch 'master' of https://github.com/edwinfernado/pmWorkspaceManagement
- Appearance change.
- Pack the plugin with gulliver is now possible.