bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: cppi


From: Paul Eggert
Subject: Re: cppi
Date: Fri, 14 Jun 2024 20:57:50 -0700
User-agent: Mozilla Thunderbird

On 2024-06-14 15:45, Bruno Haible wrote:
I propose to remove '.cppi-disable'.

Sounds good to me. I don't use cppi.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]