diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-08-30 17:27:11 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-08-30 18:34:35 +0200 |
commit | 2becdace960a1d93095a7ae015c16d69757f29f8 (patch) | |
tree | 8253cd4ec76b120fd890b128a23b17063078fc0c /lib | |
parent | 115a947f0877f935f4fa7123cb57225686608261 (diff) | |
download | bison-2becdace960a1d93095a7ae015c16d69757f29f8.tar.gz |
gnulib: update
Diffstat (limited to 'lib')
-rw-r--r-- | lib/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/.gitignore b/lib/.gitignore index 37ec5dec..337cdb74 100644 --- a/lib/.gitignore +++ b/lib/.gitignore @@ -340,6 +340,7 @@ /termios.in.h /textstyle.h /textstyle.in.h +/thread-optim.h /time.h /time.in.h /timespec.c |