K 10
svn:author
V 3
mat
K 8
svn:date
V 27
2014-02-24T15:40:30.277078Z
K 7
svn:log
V 109
Really tell our users that using WITH_/WITHOUT_ to set/unset options is
deprecated.

Sponsored by:	Absolight

END