From 647bf487976090d7ebe20067f984030bceec1185 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Mon, 26 Nov 2018 06:59:19 +0100
Subject: [PATCH] gnulib: update ignores

---
 lib/.gitignore | 24 +++++++++++-------------
 1 file changed, 11 insertions(+), 13 deletions(-)

diff --git a/lib/.gitignore b/lib/.gitignore
index d87696d6..ba01ca31 100644
--- a/lib/.gitignore
+++ b/lib/.gitignore
@@ -289,20 +289,18 @@
 /timespec.h
 /xtime.c
 /xtime.h
-/abitset.c
-/abitset.h
-/bbitset.h
 /bitset.c
 /bitset.h
-/ebitset.c
-/ebitset.h
-/lbitset.c
-/lbitset.h
-/vbitset.c
-/vbitset.h
-/bitset_stats.c
-/bitset_stats.h
-/bitsetv-print.c
-/bitsetv-print.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
 /bitsetv.c
 /bitsetv.h