Added option to disable deleting of non empty repositories through the user...

peto268

2014-04-26 99b43dffe86b635e97f625157083cee37ee921bf

 src/main/java/com/gitblit/manager/NotificationManager.java

@@ -112,6 +112,7 @@
   @Override
   public void sendHtmlMail(String subject, String message, Collection<String> toAddresses) {
      Mailing mail = Mailing.newHtml();
      mail.subject = subject;
      mail.content = message;
      mail.setRecipients(toAddresses);
      send(mail);