Merge branch 'master' of https://github.com/gitblit/gitblit into enhancedLdap

mschaefers

2012-12-03 ba6ae959b8e21c714c69f66254e82837d45a3ed2

 src/com/gitblit/Constants.java

@@ -397,7 +397,15 @@
         return ordinal() > s.ordinal();

      }

   }

	


   public static enum AuthenticationType {

      CREDENTIALS, COOKIE, CERTIFICATE;

		
      public boolean isStandard() {

         return ordinal() <= COOKIE.ordinal();

      }

   }



   @Documented

   @Retention(RetentionPolicy.RUNTIME)

   public @interface Unused {