8 Commits

Author	SHA1	Message	Date
Frank Celler	ec27adc860	big reformat	2018-12-26 01:11:59 +01:00
Jan	3e0fe7f143	added `--dump-option` startup option to print all available options in JSON format (#5173)	2018-04-23 11:38:30 +02:00
Frank Celler	70e206fc25	terminal codes	2017-09-28 22:23:54 +02:00
Jan	4ba38bf981	try to work around some assertions (#3296) ... * remove obsolete values from relative config * warn about using obsolete config parameters	2017-09-28 09:21:33 +02:00
jsteemann	4fa9148b31	more debug output	2017-06-06 11:07:43 +02:00
jsteemann	96a5a5885c	additional output for debugging	2017-06-06 10:47:37 +02:00
jsteemann	27a8adf9b8	moved shell colors into their own feature	2017-05-23 16:53:43 +02:00
jsteemann	53fa66e60d	move parts from ProgramOptions from headers into cpp files	2017-05-23 10:30:36 +02:00