set_ignore_unknown_options


Description:

public void set_ignore_unknown_options (bool ignore_unknown)