K 10
svn:author
V 4
tijl
K 8
svn:date
V 27
2013-07-25T11:47:11.754895Z
K 7
svn:log
V 221
- Document the use of ${OPTIONS_NAME}_(UN)SET(_FORCE).
- Remove options in ${OPTIONS_NAME}_(UN)SET from NEW_OPTIONS list.
- Remove an intermediate sort.
- Add support for ${OPTIONS_NAME}_(UN)SET_FORCE.

Approved by:	bapt

END