diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-07 14:05:21 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-07 14:05:21 +0100 |
| commit | f5a0e18015f3b7a61cb8271912c22efb8642a72e (patch) | |
| tree | 2d1a836580e40a63eed943b3383ede62d1887f41 /DONORS.md | |
| parent | 3f02cf7ced320f25ac5f4f72d7a57d98296bfcd1 (diff) | |
| parent | b5c4bc8f317bbd3894b98e35112c199d39422e92 (diff) | |
Merge pull request #72821 from myaaaaaaaaa/bin-symlink
Change .gitignore's `bin/` to `bin`
Diffstat (limited to 'DONORS.md')
0 files changed, 0 insertions, 0 deletions