# HG changeset patch
# User Paul Eggert <eggert@cs.ucla.edu>
# Date 1096864642 0
# Node ID 71e84508192cf8af92ca3500f4dbc890d5c94d42
# Parent  0c7b3a1e0e4b04f915651e1724ce51ca8fcce2e5
Add getopt_.h, getopt_int.h.

diff --git a/lib/.cppi-disable b/lib/.cppi-disable
--- a/lib/.cppi-disable
+++ b/lib/.cppi-disable
@@ -9,6 +9,8 @@
 getopt.c
 getopt.h
 getopt1.c
+getopt_.h
+getopt_int.h
 getpagesize.h
 gettext.h
 localcharset.h