--dir

Property definitions

	# --dir
	var opt_dir = new OptionString("Directory where some statistics files are generated", "-d", "--dir")

src/metrics/metrics_base.nit:63,2--64,101