From: Jim Meyering <jim@meyering.net>
Date: Wed, 25 Oct 2000 06:01:31 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=96ef5e0b9cb618bc431ae54a4f32dd0662cffce3;p=pspp

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

diff --git a/lib/.cppi-disable b/lib/.cppi-disable
index b3f9dfd478..cfacdfc638 100644
--- a/lib/.cppi-disable
+++ b/lib/.cppi-disable
@@ -8,4 +8,3 @@ obstack.h
 regex.h
 regex.c
 getpagesize.h
-obstack.c