Improving empty repo page

Martijn

2014-01-13 1b249f618d1a5f291625aa40dfd66fe0d5c88417

 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