| commit | aedf6d8fa96c55c4e9fded7dba3c158a6493586f | [log] [tgz] |
|---|---|---|
| author | Jeff Johnston <jjohnstn@redhat.com> | Sun Nov 19 00:46:05 2017 -0500 |
| committer | Jeff Johnston <jjohnstn@redhat.com> | Sun Nov 19 00:46:31 2017 -0500 |
| tree | cf6975616c48c0611f64b7e236166bb65879494c | |
| parent | a08cc01f5652940139be3074fafc335b194bc695 [diff] |
Expose org.eclipse.cdt.docker.launch directory as public - move ContainerCommandLauncher to org.eclipse.cdt.docker - update DockerLaunchUIPlugin to be noextend - update users of ContainerCommandLauncher appropriately Change-Id: I32ea6de3b3df12b6579249583303111bf6b7b957