remove_param_value

Description:

public void remove_param_value (string param_name, string s)

Removes the value s from the parameter param_name on the attribute this.

If s was the only value for parameter param_name, that parameter is removed entirely from this and freed.