On 11/10/11 3:39 PM, Peter Klügl wrote:
Ah ok. I already wondered about your comment on this matter. I
thought you meant that there is already a page in the ide plugin. I
did not find it there, but its extension definition. That got me a bit
puzzled. I wasn't sure to create a new one or if you meant the
extension and the page is only declared in the ide plugin. Therefore,
I didn't define a new page and reused the implementation in the other
plugin.
I'll move the code now.
+1
Peter
PS: I wondered a bit about the "Build failed in Jenkins" messages. Do
I need to know anything about that?
No, this was not caused by a problem in the project itself.
Jörn
