Package org.gjt.sp.jedit.pluginmgr

The plugin manager.

See: Description

Package org.gjt.sp.jedit.pluginmgr Description

The plugin manager.