| commit | e12a194dee3d91ba4188c97946ffc5a05d39ca38 | [log] [tgz] |
|---|---|---|
| author | Henner Zeller <h.zeller@acm.org> | Sun Mar 30 11:53:01 2025 -0700 |
| committer | GitHub <noreply@github.com> | Sun Mar 30 11:53:01 2025 -0700 |
| tree | 6b7e2350c59ec98063d4db80030f470c62290575 | |
| parent | 7a8cf40d8e55f52d9e559c5d633a05d804961e4f [diff] | |
| parent | f6824d78b8e0db61f59340c543f4b9c3b7e02aa5 [diff] |
Merge pull request #2381 from hzeller/feature-20250330-update-gitignore Update .gitignore