|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |