Apparently I created a branch in our svn repository by mistake, I only intended to switch to another revision. I was using eclipse without paying much attention to which popup menus I was exactly in.

See rev. #20751, we now have a trunk in our trunk :-(. Could someone please delete this? I'm not going to try to do this myself to avoid making even a bigger mess of it. I'm not very familiar with this stuff.

Sorry.

Diederik