On Thu, 1 Feb 2001, Dekel Tsur wrote:

> On Thu, Feb 01, 2001 at 05:07:14PM +0100, Michael Schmitt wrote:
>
> PS: Should I make this change in CVS ?

Only if you provide Mike with a suitable addition to the documentation
explaining why Foilheads are numbered.  You should also be aware that
RotateFoilhead and ShortFoilhead also exist and should be considered
equivalent to Foilhead (so add counter stuff there also).

Allan. (ARRae)

Reply via email to