K 10
svn:author
V 5
garga
K 8
svn:date
V 27
2012-08-03T18:39:20.472285Z
K 7
svn:log
V 86
Remove unecessary OPTIONS_DEFAULT definitions added on r301957

Reported by:	sunpoet@

END
