imp 3f4c3b5afc Doc __DEFAULT_YES_OPTIONS, __DEFAULT_NO_OPTIONS and BROKEN_OPTIONS
in one paragraph to highlight the relationship between them.

Suggested by: kevans@
2018-02-27 17:36:01 +00:00
..
2017-11-03 13:52:34 +00:00
2017-11-03 13:52:34 +00:00
2017-10-29 08:17:03 +00:00
2017-11-03 13:52:34 +00:00
2017-11-03 13:52:34 +00:00
2017-12-31 06:58:58 +00:00
2018-01-20 22:24:45 +00:00
2018-01-25 21:13:42 +00:00
2017-08-02 08:38:36 +00:00