Module jEdit

Class MirrorList.Mirror

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

public static class MirrorList.Mirror extends Object
  • Field Details

  • Constructor Details

    • Mirror

      public Mirror()