Show inherited push scripts in Manager

James Moger

2011-12-28 f2dff4ea2ba10dca13b54d5968c5021f071b3ddd

 src/com/gitblit/client/GitblitRegistration.java

@@ -71,11 +71,16 @@
      }

   }



   protected void cacheFeeds() {

   }



   @Override

   public int compareTo(GitblitRegistration o) {

      return name.toLowerCase().compareTo(o.name.toLowerCase());

   }



   protected void cacheFeeds() {

   @Override

   public String toString() {

      return name + " (" + url + ")";

   }

}