JEdit Community Wiki

Description
This wiki seems to be used by the jEdit developers community to coordinate their work at .