/jEdit

This is the repository for future development of jEdit.

GNU General Public License v2.0GPL-2.0

Watchers