--generate-csv

Property definitions

nitc :: metrics_base $ ToolContext :: opt_csv=
	# --generate-csv
	var opt_csv = new OptionBool("Also export metrics in CSV format", "--csv")
src/metrics/metrics_base.nit:55,2--56,75