7 Commits

Author	SHA1	Message	Date
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