David E. O'Brien b65fdcda6c Acutally our style is "options\x20\x09". ... As BDE says: "options\x09\x09foo" looks quite different from "options\x20\x09foo" after adding a one or two character prefix. Notice by: BDE		1999-10-15 07:07:43 +00:00
..
GENERIC	Acutally our style is "options\x20\x09".	1999-10-15 07:07:43 +00:00