Merge commit 'refs/tickets/10/10/1' of https://dev.gitblit.com/git/gitblit

James Moger

2014-02-21 dcbbad73966a91146b7aeae6fea444471f26f155

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

@@ -30,7 +30,7 @@
import com.gitblit.models.SearchResult;
import com.gitblit.models.UserModel;

public interface IRepositoryManager {
public interface IRepositoryManager extends IManager {

   /**
    * Returns the path of the repositories folder. This method checks to see if