diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-10-02 06:19:56 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-10-05 06:14:20 +0200 |
commit | 8d64416e8c96ce68d23d125b581cd86b73f0469c (patch) | |
tree | f9740f0a005ac9e173051f42b8dc8daf23cfc462 /m4 | |
parent | 26859f6d61d259e0da674f4225f398673968951f (diff) | |
download | bison-8d64416e8c96ce68d23d125b581cd86b73f0469c.tar.gz |
gnulib: update
Diffstat (limited to 'm4')
-rw-r--r-- | m4/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/m4/.gitignore b/m4/.gitignore index f97cf00f..9ae0bd63 100644 --- a/m4/.gitignore +++ b/m4/.gitignore @@ -180,3 +180,6 @@ /host-cpu-c-abi.m4 /stat-time.m4 /timevar.m4 +/sys_time_h.m4 +/sys_times_h.m4 +/times.m4 |