id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
2212	Description of flags missing	Francesco Casella	somebody	"Typing omc +help=debug > options.txt generates a list of debugging options. Many of them do not have any description. 

Either they are obsolete, and should be removed, or they should get a proper (though short) description."	defect	closed	high	1.9.4	Command Prompt Environment	trunk	fixed		openmodelicadevelopers@…