Attachment #105900
jedit-4.3.2.diff patch 2010-05-10 04:10:04 UTC 933 bytes no flags Details