diff options
-rw-r--r-- | lib/.cppi-disable | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/.cppi-disable b/lib/.cppi-disable index 66f62a89b..3d84b148a 100644 --- a/lib/.cppi-disable +++ b/lib/.cppi-disable @@ -9,6 +9,7 @@ getpagesize.h md5.h obstack.h printf-args.h +printf-parse.h regex.c regex.h vasnprintf.h |