[ jEdit-devel ] XML plugin and "trunk"

[Alan E. <ala...@gm...>]

I think it's time to remove the old plugins/XML/trunk and move
branches/relax-ng to trunk.
If I do that, then we all need to stop using that old branch at the same
time.

Any objections?