Lukasz Jader
2013-04-07 a770f32c4cc4f96777ae7a3ee853238f9b5ec914
src/main/java/com/gitblit/IStoredSettings.java
@@ -288,6 +288,16 @@
   }
   /**
    * Override the specified key with the specified value.
    *
    * @param key
    * @param value
    */
   public void overrideSetting(String key, int value) {
      overrides.put(key, "" + value);
   }
   /**
    * Updates the values for the specified keys and persists the entire
    * configuration file.
    *