Rename coreCommand -> command

Other extension points that reference Core Commands use <command>.

Change-Id: I12d4290c81a9a7b2aea8394f55fde0b25b2cea1d
4 files changed
tree: 0fe5a9703abd0a72a801dafd83f5c91af18f5db4
  1. build/
  2. bundles/
  3. features/
  4. tests/
  5. .gitignore
  6. pom.xml
  7. README.md
README.md

Several plug-ins from this Git repository have been migrated to eclipse.platform.ui. Please also check this repository if you search for plug-ins starting with org.eclipse.e4.

Please see org.eclipse.platform.ui repository.