[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Indices in Info.

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).


reply via email to

[Prev in Thread] Current Thread [Next in Thread]