diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-11-29 06:04:36 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-11-29 06:16:20 +0100 |
commit | 36e587b1f6bd1ff728b98cde03ef404726f497fc (patch) | |
tree | 94a274c583d69eab155e3e1e4c504a985e584724 /lib | |
parent | b1d6c42ae582e87725ea04a8691bb4de3e020d3d (diff) | |
download | bison-36e587b1f6bd1ff728b98cde03ef404726f497fc.tar.gz |
gnulib: update
Diffstat (limited to 'lib')
-rw-r--r-- | lib/.gitignore | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/lib/.gitignore b/lib/.gitignore index ba01ca31..b7d7e6d2 100644 --- a/lib/.gitignore +++ b/lib/.gitignore @@ -291,16 +291,6 @@ /xtime.h /bitset.c /bitset.h -/bitset/expandable.c -/bitset/list.c -/bitset/array.c -/bitset/vector.c -/bitset/stats.c -/bitset/list.h -/bitset/expandable.h -/bitset/array.h -/bitset/vector.h -/bitset/stats.h -/bitset/base.h +/bitset/ /bitsetv.c /bitsetv.h |