diff options
author | Jim Meyering <jim@meyering.net> | 1999-07-10 16:40:33 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 1999-07-10 16:40:33 +0000 |
commit | d929a80e1e439aede6274f581b27040a25960c3e (patch) | |
tree | f1e6f1ca4aced1d9ba6dc3b2f4146d21adce3cb2 /lib/.cppi-disable | |
parent | c966cc7a682b90e366df75a3cd6c79df9c105b89 (diff) | |
download | gnulib-d929a80e1e439aede6274f581b27040a25960c3e.tar.gz |
*** empty log message ***
Diffstat (limited to 'lib/.cppi-disable')
-rw-r--r-- | lib/.cppi-disable | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/.cppi-disable b/lib/.cppi-disable new file mode 100644 index 0000000000..dcb873d1a6 --- /dev/null +++ b/lib/.cppi-disable @@ -0,0 +1,5 @@ +error.h +fnmatch.h +getopt.h +obstack.h +regex.h |