EmptyRepositoryPage_es.html: up-to date with the last changes

Mrbytes

2012-09-13 90ddf5bcf1a4cd719a8d5997a9ed3cafc36f1e04

 src/com/gitblit/AuthenticationFilter.java

@@ -170,6 +170,7 @@
      public AuthenticatedRequest(HttpServletRequest req) {

         super(req);

         user = new UserModel("anonymous");

         user.isAuthenticated = false;

      }



      UserModel getUser() {