We should perhaps look for a nicer solution, which could perhaps envolve actually moving 'mmbase' to 'src/org/mmbase' in the repository, which will - just a guess - probably mean that everybody has to check out again?
I think it's a good idea of moving it. But maybe we have to vote about this?
Gerard
