Attachment #116248
jedit-devel-4.3.p18,rm.diff patch 2011-06-22 17:20:09 UTC 456 bytes no flags Details