Add the No Docs page if there are no root documents

James Moger

2014-02-28 c8a833a2ea7d03a5c29ebcd1cf7e2e05c96f3e70

 src/main/java/com/gitblit/IStoredSettings.java

@@ -351,4 +351,13 @@
    * @return true if successful

    */

   public abstract boolean saveSettings(Map<String, String> updatedSettings);



   /**

    * Merge all settings from the settings parameter into this instance.

    *

    * @param settings

    */

   public void merge(IStoredSettings settings) {

      getSettings().putAll(settings.getSettings());

   }

}