From: Jim Meyering <jim@meyering.net>
Date: Sat, 10 Jul 1999 16:40:33 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d929a80e1e439aede6274f581b27040a25960c3e;p=pspp

*** empty log message ***
---

diff --git a/lib/.cppi-disable b/lib/.cppi-disable
new file mode 100644
index 0000000000..dcb873d1a6
--- /dev/null
+++ b/lib/.cppi-disable
@@ -0,0 +1,5 @@
+error.h
+fnmatch.h
+getopt.h
+obstack.h
+regex.h