get_double


Description:

public double get_double (string group_name, string key) throws KeyFileError