> > I propose to remove '.cppi-disable'.
>
> Sounds good to me. I don't use cppi.
Done:
2024-06-15 Bruno Haible
Drop outdated cppi configuration.
* lib/.cppi-disable: Remove file.
On 2024-06-14 15:45, Bruno Haible wrote:
I propose to remove '.cppi-disable'.
Sounds good to me. I don't use cppi.
Paul Eggert did:
> * lib/.cppi-disable: Remove getpagesize.h.
This file had not been touched for more than 16 years.
When I run
$ cd lib
$ cppi -c *.h *.c
it emits 23812 diagnostics. So, clearly, 'cppi' does not reflect the
indentation habits that we are using for many years.
I propose to re
