K 10
svn:author
V 6
fluffy
K 8
svn:date
V 27
2010-01-16T11:09:14.000000Z
K 7
svn:log
V 180
- Remove unneeded OPTIONS, it's always covered by base build and have no effects.

Submitted by:	Alberto Villa (maintainer via irc)
Approved by:	miwi, tabthorpe (mentors implicit)

END