diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-08-09 04:36:55 -0500 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-09-08 11:38:29 +0200 |
commit | 47262c36bb13a2d0d21a3a78ce83c8f34deea008 (patch) | |
tree | e0dd6b877aefd5e9a58fca74b65f0c18c28355d0 /THANKS | |
parent | 1e452b1553d888ee42643ac591b2627d8de6649f (diff) | |
download | bison-47262c36bb13a2d0d21a3a78ce83c8f34deea008.tar.gz |
git: ignore files generated in gnulib-po
Because of them, the CI generates "-dirty" tarballs.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions