Closed gunnarx closed 9 years ago
OK, this is on master since long ago but I'll close this after I have merged master with CommonAPI branch just to be clear.
This is on cpp_common_api branch now, so I no longer need the reminder.
Thanks Klaus for providing the PR.
This is minor, but the user do not really need to choose the workspace explicitly upon first launch of Eclipse. It should be possible to automate the eclipse settings so that the workspace is already configured (/home/vagrant/workspace)