|
| From: | Stefan Monnier |
| Subject: | Re: Indices in Info. |
| Date: | Wed, 25 Jun 2003 13:50:12 -0400 |
> Or is the following style considered preferable? (There is no
> difference in functionality between the two diffs, just a matter of
> style.)
Given that redundancy is a nightmare (in my book), I find it
preferable indeed (and it's more than a question of style).
Stefan
| [Prev in Thread] | Current Thread | [Next in Thread] |