|
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.
[Prev in Thread] | Current Thread | [Next in Thread] |