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