| commit | 7b3f743b9ab07590d1e36f75e52d0134222ed35c | [log] [tgz] |
|---|---|---|
| author | Brian de Alwis <bsd@mt.ca> | Wed Nov 15 12:01:49 2017 -0500 |
| committer | fabioz <fabiofz@gmail.com> | Sun Nov 19 13:19:59 2017 -0200 |
| tree | 0fe5a9703abd0a72a801dafd83f5c91af18f5db4 | |
| parent | ce3f06506e4d44eec1d9dbae0a574733431fffa6 [diff] |
Rename coreCommand -> command Other extension points that reference Core Commands use <command>. Change-Id: I12d4290c81a9a7b2aea8394f55fde0b25b2cea1d
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.