1 Aug
2022
1 Aug
'22
9:13 p.m.
Hi Johan,
On Mon, 1 Aug 2022 at 12:59, Johan Jonker jbx6244@gmail.com wrote:
Hi Quentin,
Beside removing the "real" annoyance is that these files popup when adding with "git add ." and are blocking branch changing with "git branch ...". Maybe add to ".gitignore" as well or delete immediately. What's the use to keep them around?
At this point I have to remind people to consider moving to out-of-tree builds (make O=...)
Regards, Simon