Merge commit 'refs/tickets/08/8/3' of https://dev.gitblit.com/r/gitblit

James Moger

2014-02-19 b2775fefaafb0ce89094bdd4bb5308dbb90f487b

 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