Attachment #59087
jedit-devel-4.3pre2_sha256.diff patch 2005-11-13 21:10:14 UTC 411 bytes no flags Details