|
From: | Paul Eggert |
Subject: | Re: [PATCH] Let git ignore src/temacs* not just src/temacs |
Date: | Sat, 18 May 2019 10:29:16 -0700 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 |
Paul Eggert wrote:
Bastien wrote:Let me know if I can apply the following patch.Sure, that makes sense.
Hmm, well, as Stefan points out it *used* to make sense, but nowadays it shouldn't be needed. Sorry about the noise.
[Prev in Thread] | Current Thread | [Next in Thread] |