# HG changeset patch
# User Jim Meyering <jim@meyering.net>
# Date 932031094 0
# Node ID c18a90c0e39c4980b7900e420d9a8d76bdf158a0
# Parent  adec1d2266baeec410addb6b04c307a3ec5cc0fa
*** empty log message ***

diff --git a/lib/.cppi-disable b/lib/.cppi-disable
--- a/lib/.cppi-disable
+++ b/lib/.cppi-disable
@@ -3,3 +3,4 @@
 getopt.h
 obstack.h
 regex.h
+getpagesize.h