tree 9a747b27f5c4f519ad81f137c9259ab86e1aa4e7
parent 9868b78d917e6bf5a4df45ff2e55c5f62fe855e6
author Ed Merks <ed.merks@gmail.com> 1590822797 +0200
committer Ed Merks <ed.merks@gmail.com> 1590822797 +0200

[536533] Eclipse Platform SDK Provisioning

https://bugs.eclipse.org/bugs/show_bug.cgi?id=536533

Update the Runtime Workspace launch configuration.