summaryrefslogtreecommitdiff
path: root/lib/.cppi-disable
diff options
context:
space:
mode:
authorPaul Eggert <eggert@cs.ucla.edu>2004-10-04 04:37:22 +0000
committerPaul Eggert <eggert@cs.ucla.edu>2004-10-04 04:37:22 +0000
commitdae1457672e2638b0ed8a2f5c4634a30fa86553d (patch)
treee06722d999d9c443c80b60d756a9d8afb57a57e6 /lib/.cppi-disable
parent41acf98d2554a8ae55ac305ed0eec0e866eadb4b (diff)
downloadgnulib-dae1457672e2638b0ed8a2f5c4634a30fa86553d.tar.gz
Add getopt_.h, getopt_int.h.
Diffstat (limited to 'lib/.cppi-disable')
-rw-r--r--lib/.cppi-disable2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/.cppi-disable b/lib/.cppi-disable
index afd50d090c..f8fcb65c64 100644
--- a/lib/.cppi-disable
+++ b/lib/.cppi-disable
@@ -9,6 +9,8 @@ getndelim2.h
getopt.c
getopt.h
getopt1.c
+getopt_.h
+getopt_int.h
getpagesize.h
gettext.h
localcharset.h