diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2022-11-12 13:12:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-12 13:12:28 +0100 |
| commit | 852cf596ede370994f3f1bb49493ec96aa0653f3 (patch) | |
| tree | bc57c94e3c1aee2a07b02f1a414b6eca975705fb /.gitignore | |
| parent | c75e6f35838c648c921731040469fe65252865e7 (diff) | |
| download | Nim-852cf596ede370994f3f1bb49493ec96aa0653f3.tar.gz | |
fixes a strange issue most likely caused by a git merge (#20822)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions