From: Jim Meyering <jim@meyering.net>
Date: Thu, 15 Jul 1999 09:31:34 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d1d0f73fde7649d1bb2250cc27cc1359cda196f1;p=pspp

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

diff --git a/lib/.cppi-disable b/lib/.cppi-disable
index dcb873d1a6..88d18e503b 100644
--- a/lib/.cppi-disable
+++ b/lib/.cppi-disable
@@ -3,3 +3,4 @@ fnmatch.h
 getopt.h
 obstack.h
 regex.h
+getpagesize.h