Bug#583234: RFP: jedit-plugins -- plugins for jEdit

[Carlo Stemberger <carlo.stemberger@gmail.com>]

Package: wnpp
Severity: wishlist


* Package name    : jedit-plugins
  Version         : 4.3.1
  Upstream Author : various
* URL             : http://plugins.jedit.org/
* License         : GPL or GPL-compatible
  Programming Lang: Java
  Description     : plugins for jEdit

This package is a collection of plugins for jEdit.