Eelco Dolstra f463d24903 Add read-only options ...

These are options that can have only one definition, regardless of
priority.

2015-07-30 13:44:50 +02:00

..

manual

Add read-only options

2015-07-30 13:44:50 +02:00