K 10
svn:author
V 5
peter
K 8
svn:date
V 27
1999-07-01T16:20:16.000000Z
K 7
svn:log
V 214
Don't include trailing whitespace in ID tokens before comments. ie:
options FOO=10		# comment
would give FOO the value of "10		" and that caused unwanted
touches on the opt_*.h files.

I hope I've got this right..

END