|
||||||||||
| 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 | |||||||||