Merged #177 "Disable permission checkboxes if permission is inherited"

James Moger

2014-09-11 1a44e0afdbcf3b45347c248b0b1decd5853bf69c

 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);