On 26/01/2022 12:12, Paul Menzel wrote:
Sure, I can change that,
FWIW, the GNU Make documentation uses "Number signs" to refer to "#", and I think that may cause the least confusion across speakers of different dialects of English.
Tim.
On 26/01/2022 12:12, Paul Menzel wrote:
Sure, I can change that,
FWIW, the GNU Make documentation uses "Number signs" to refer to "#", and I think that may cause the least confusion across speakers of different dialects of English.
Tim.