Add .bat and .cmd to the pretty print extensions

James Moger

2014-11-24 75a907eeabb2983bda2bd1081eacb8a7d94db63b

 src/main/java/com/gitblit/wicket/pages/EditUserPage.java

@@ -178,7 +178,9 @@


            // update user permissions

            for (RegistrantAccessPermission repositoryPermission : permissions) {

               userModel.setRepositoryPermission(repositoryPermission.registrant, repositoryPermission.permission);

               if (repositoryPermission.mutable) {

                  userModel.setRepositoryPermission(repositoryPermission.registrant, repositoryPermission.permission);

               }

            }



            Iterator<String> selectedTeams = teams.getSelectedChoices();