K 10
svn:author
V 5
danfe
K 8
svn:date
V 27
2012-08-24T07:25:16.620620Z
K 7
svn:log
V 133
Rename GUI option to X11 (to respect global OPTIONS_UNSET=X11 setting when
building for e.g. headless servers).

Suggested by:	crees

END