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

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