Delete ssh public keys when user is deleted

James Moger

2014-03-26 6da45ac87e39c2efeeb2849271ac3c555f106ab9

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

@@ -31,13 +31,13 @@

public interface IGitblit extends IManager,
                           IRuntimeManager,
                           IPluginManager,
                           INotificationManager,
                           IUserManager,
                           IAuthenticationManager,
                           IRepositoryManager,
                           IProjectManager,
                           IFederationManager,
                           IPluginManager {
                           IFederationManager {

   /**
    * Returns a list of repository URLs and the user access permission.