JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
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
()
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes