16 Commits

Author	SHA1	Message	Date
Jan	4df4b418f3	Bug fix 3.4/simran (#7883)	2019-01-04 17:08:37 +01:00
Frank Celler	9477af198b	big reformat	2018-12-26 00:57:05 +01:00
Jan	677522991e	Feature/internal 3306 (#7683) (#7688)	2018-12-06 17:46:58 +01:00
Simon	3eed525481	Hide links (#6348)	2018-09-03 15:36:37 +02:00
Jan	5022ccc24d	Bug fix/fixes 2508 (#6254)	2018-08-27 21:36:39 +02:00
Jan	d4d0f44f87	add `enterpriseOnly` documentation sections (#6175)	2018-08-17 10:28:25 +02:00
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