|
||||||||||
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 |
---|
Fields in org.gjt.sp.jedit.pluginmgr with type parameters of type MirrorList.Mirror | |
---|---|
java.util.List<MirrorList.Mirror> |
MirrorList.mirrors
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |