Add support for configurable HTTP proxy host/port in PluginManager.java

Dariusz Bywalec

2014-12-02 d86f4a0860704e3bda77fa9622a8d0210265b616

 src/main/java/com/gitblit/utils/FlipTable.java

@@ -36,7 +36,7 @@
 * </pre>
 */
public final class FlipTable {
   private static final String EMPTY = "(empty)";
   public static final String EMPTY = "(empty)";

   public static enum Borders {
      FULL(15), BODY_HCOLS(13), HCOLS(12), BODY(9), HEADER(8), COLS(4);