Re: Distclean does not remove gram.c

Gurjeet Singh wrote:
>
> I did a `git clean -f -d` and even that did not remove gram.c, 
> apparently because this file _was_ alive at some point in the past 
> hence git won't remove it even though the current branch does not have 
> gram.c.
>
>

At first glance that looks like a git bug.

cheers

andrew