GitHub repository: waltim/jEdit-5.5.0
Primary language: Java
Created: 2019-12-01T19:58:26Z
Description: copy of jEdit in version 5.5.0 from http://jedit.sourceforge.net/