Class MirrorList

java.lang.Object
org.gjt.sp.jedit.pluginmgr.MirrorList

public class MirrorList extends Object
Version:
$Id: MirrorList.java 22357 2012-10-13 04:58:01Z ezust $