diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2018-10-05 18:03:39 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2018-10-06 07:38:15 +0200 |
commit | 394c1aa6f270b8998d686d1c49820e1a28b2e8da (patch) | |
tree | 355758bf1358325f81572905fcffc630953db172 | |
parent | 5281d09af7b976a2c8f3511747f3dc01a36418cd (diff) | |
download | bison-394c1aa6f270b8998d686d1c49820e1a28b2e8da.tar.gz |
gnulib: update
-rw-r--r-- | m4/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/m4/.gitignore b/m4/.gitignore index 9ae0bd63..f50f0c48 100644 --- a/m4/.gitignore +++ b/m4/.gitignore @@ -183,3 +183,4 @@ /sys_time_h.m4 /sys_times_h.m4 /times.m4 +/sh-filename.m4 |