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 | |
| parent | c966cc7a682b90e366df75a3cd6c79df9c105b89 (diff) | |
| download | gnulib-d929a80e1e439aede6274f581b27040a25960c3e.tar.gz | |
*** empty log message ***
| -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 |