Add .bat and .cmd to the pretty print extensions

James Moger

2014-11-24 75a907eeabb2983bda2bd1081eacb8a7d94db63b

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

@@ -681,7 +681,7 @@
            RepositoryModel latestModel = app().repositories().getRepositoryModel(repositoryModel.name);

            boolean canDelete = app().repositories().canDelete(latestModel);

            if (canDelete) {

               if (app().repositories().deleteRepositoryModel(latestModel)) {

               if (app().gitblit().deleteRepositoryModel(latestModel)) {

                  info(MessageFormat.format(getString("gb.repositoryDeleted"), latestModel));

                  if (latestModel.isPersonalRepository()) {

                     // redirect to user's profile page