set_double


Description:

public void set_double (string group_name, string key, double value)