From: Jim Meyering <jim@meyering.net>
Date: Thu, 4 May 2000 07:13:40 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=05d4ef79c00e77a54f781355c1cf4242a4e54c4b;p=pspp

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

diff --git a/lib/.cppi-disable b/lib/.cppi-disable
index ce6d414d2b..cfacdfc638 100644
--- a/lib/.cppi-disable
+++ b/lib/.cppi-disable
@@ -5,7 +5,6 @@ getopt.c
 getopt1.c
 md5.h
 obstack.h
-obstack.c
 regex.h
 regex.c
 getpagesize.h