Lukasz Jader
2013-04-06 92666047a13eb1c75bad4435c2019b5478d07c1d
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.
    *