summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>2000-10-25 06:01:31 +0000
committerJim Meyering <jim@meyering.net>2000-10-25 06:01:31 +0000
commit96ef5e0b9cb618bc431ae54a4f32dd0662cffce3 (patch)
tree0b8006127041ef12dd2e79edae23371ff1b02c16
parent1b3b5b96e6c19f283c45d1b5970fe9f07975f0fe (diff)
downloadgnulib-96ef5e0b9cb618bc431ae54a4f32dd0662cffce3.tar.gz
*** empty log message ***
-rw-r--r--lib/.cppi-disable1
1 files changed, 0 insertions, 1 deletions
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