diff options
| author | Christian Grothoff <christian@grothoff.org> | 2024-01-28 19:37:04 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2024-01-28 19:37:04 +0100 |
| commit | f8f7c83cb8df30accb772ae1a4ea3fc62606a5cc (patch) | |
| tree | 2a1c4e0f9d25299a21dc912faaf3c83663ed7908 /m4/.gitignore | |
| parent | 2b115add47166ad1dc9641ec2f3ed1730bf0fc7a (diff) | |
fix #8030
Diffstat (limited to 'm4/.gitignore')
0 files changed, 0 insertions, 0 deletions