Delete ssh public keys when user is deleted

James Moger

2014-03-26 6da45ac87e39c2efeeb2849271ac3c555f106ab9

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

@@ -31,6 +31,7 @@

public interface IGitblit extends IManager,
                           IRuntimeManager,
                           IPluginManager,
                           INotificationManager,
                           IUserManager,
                           IAuthenticationManager,