10 Commits

Author	SHA1	Message	Date
jsteemann	abf41c9f6f	be more graceful when options are added to a yet-unknown section	2018-07-17 12:08:07 +02:00
Simran	59de3403c1	Doc - Administration & Programs Refactor (#4907)	2018-05-10 13:05:22 +02:00
Jan	646db8ca0a	added `--dump-option` startup option to print all available options i… (#5174)	2018-04-23 11:31:08 +02:00
Jan	b2b6c06cbf	Feature/efficiency (#3736)	2018-01-05 16:51:31 +01: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