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 remove '.cppi-disable'. Bruno
