Uses of Class org.gjt.sp.jedit.pluginmgr.MirrorList.Mirror (jEdit API Documentation)
Date: 2018-04-10

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

- Packages that use MirrorList.Mirror
  Package | Description
  --- | ---
  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
    Modifier and Type | Method and Description
    --- | ---
    `java.util.List<MirrorList.Mirror>` | MirrorList.`getMirrors()`