Re: src/Makefile unhelpful

[Robert Pluim]

>>>>> On Sun, 18 Sep 2022 14:05:34 +0200, Gerd Möllmann 
>>>>> <gerd.moellmann@gmail.com> said:

    Gerd> On 22-09-18 13:53 , Andreas Schwab wrote:
    >> Right, git clean is only about untracked files.  To remove changes to
    >> tracked files, use git checkout.

    Gerd> Or reset it the --hard way :-).

Whenever Iʼm tempted to pass --hard to 'git reset', I always 'git
stash' first 😀

Robert
--