General command line options

Property definitions

nitc :: nitpm $ Sys :: opts
	# General command line options
	var opts = new OptionContext
src/nitpm.nit:369,2--370,29