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
..
1999-10-05 21:19:41 +00:00
1999-09-29 15:03:48 +00:00
1999-10-11 14:42:33 +00:00
1999-10-05 21:19:41 +00:00
1999-10-12 02:23:14 +00:00
1999-10-11 19:18:43 +00:00
1999-08-28 01:08:13 +00:00
1999-10-08 19:07:23 +00:00
1999-08-28 01:08:13 +00:00
1999-10-14 21:49:17 +00:00
1999-08-28 01:08:13 +00:00
1999-08-27 23:45:13 +00:00
1999-10-08 19:10:18 +00:00
1999-08-28 01:08:13 +00:00