diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-05-19 19:58:29 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-06-22 09:03:19 +0200 |
commit | 7ab275214b7c007cefbae815189accf6dc4ce97e (patch) | |
tree | c13f136aae0a1c797a30c1502f6e520c05ecee76 /lib/.gitignore | |
parent | 0428c429a1d1bc324414fe4fcb7a2e8ed381517b (diff) | |
download | bison-7ab275214b7c007cefbae815189accf6dc4ce97e.tar.gz |
gnulib: update
Diffstat (limited to 'lib/.gitignore')
-rw-r--r-- | lib/.gitignore | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/.gitignore b/lib/.gitignore index 344caefd..f3fa99c5 100644 --- a/lib/.gitignore +++ b/lib/.gitignore @@ -321,3 +321,10 @@ /assure.h /fsync.c /textstyle.in.h +/windows-mutex.c +/windows-mutex.h +/windows-once.c +/windows-once.h +/windows-recmutex.c +/windows-recmutex.h +/windows-spinlock.h |