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
 

Fields in org.gjt.sp.jedit.pluginmgr with type parameters of type MirrorList.Mirror
 java.util.List<MirrorList.Mirror> MirrorList.mirrors