Class MirrorList.Mirror

java.lang.Object
org.gjt.sp.jedit.pluginmgr.MirrorList.Mirror
Enclosing class:
MirrorList

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

  • Constructor Details

    • Mirror

      public Mirror()