diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2004-10-04 04:37:22 +0000 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2004-10-04 04:37:22 +0000 |
commit | dae1457672e2638b0ed8a2f5c4634a30fa86553d (patch) | |
tree | e06722d999d9c443c80b60d756a9d8afb57a57e6 /lib/.cppi-disable | |
parent | 41acf98d2554a8ae55ac305ed0eec0e866eadb4b (diff) | |
download | gnulib-dae1457672e2638b0ed8a2f5c4634a30fa86553d.tar.gz |
Add getopt_.h, getopt_int.h.
Diffstat (limited to 'lib/.cppi-disable')
-rw-r--r-- | lib/.cppi-disable | 2 |
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 |