diff --git a/lib/.cppi-disable b/lib/.cppi-disable index ce6d414d2..cfacdfc63 100644 --- a/lib/.cppi-disable +++ b/lib/.cppi-disable @@ -5,7 +5,6 @@ getopt.c getopt1.c md5.h obstack.h -obstack.c regex.h regex.c getpagesize.h