K 10
svn:author
V 4
tijl
K 8
svn:date
V 27
2013-06-10T08:37:14.843965Z
K 7
svn:log
V 133
Exclude options directly from OPTIONS_DEFINE and set ALL_OPTIONS
later. This simplifies the NO_OPTIONS_SORT case.

Approved by:	bapt

END