|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]|