Package org.gjt.sp.jedit.pluginmgr


package org.gjt.sp.jedit.pluginmgr
The plugin manager.