diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-04-13 17:42:23 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-04-13 17:47:20 +0200 |
commit | e9454c3456eccf4e30d845b7ca341da8132c4760 (patch) | |
tree | 7223f94999811fcdf3a25b96000b76438e94bc31 /lib | |
parent | 8f01cf0269d1e188981edf6d693cf2fcd82f7291 (diff) | |
download | bison-e9454c3456eccf4e30d845b7ca341da8132c4760.tar.gz |
gnulib: update
Diffstat (limited to 'lib')
-rw-r--r-- | lib/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/.gitignore b/lib/.gitignore index 6bfaa32d..84f80d99 100644 --- a/lib/.gitignore +++ b/lib/.gitignore @@ -58,7 +58,6 @@ /dirname-lgpl.c /dirname.c /dirname.h -/dosname.h /dup-safer-flag.c /dup-safer.c /dup2.c |