34
34
private Options () {
37
public string to_string () {
38
var outstr = new StringBuilder ();
39
outstr.append ("exec_name:");
40
outstr.append (exec_name);
41
outstr.append ("\nversion:");
42
outstr.append (version.to_string ());
43
outstr.append ("\nconfig_path:");
44
outstr.append (config_path);
45
outstr.append ("\nconfig_help:");
46
outstr.append (config_help.to_string ());
47
outstr.append ("\nactions_path:");
48
outstr.append (actions_path);