Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
org.gjt.sp.jedit.pluginmgr.MirrorList.Mirror

Packages that use MirrorList.Mirror
org.gjt.sp.jedit.pluginmgr | The plugin manager.

Uses of MirrorList.Mirror in org.gjt.sp.jedit.pluginmgr

Methods in org.gjt.sp.jedit.pluginmgr that return types with arguments of type MirrorList.Mirror
`java.util.List<MirrorList.Mirror>` | `MirrorList.getMirrors()`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES