[ jEdit-announce ] plugin update


View entire thread