diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2023-05-29 21:31:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-29 21:31:53 +0200 |
| commit | 244565397ddcd4af5a49b47b7874fe82e018e429 (patch) | |
| tree | 8cfe4f6bab5e340abff72ee24c9a8651a7bf99b0 /readme.md | |
| parent | ef060e818468da0bd53d52a501443ce3d01f06a1 (diff) | |
| download | Nim-244565397ddcd4af5a49b47b7874fe82e018e429.tar.gz | |
fixes #21734; backport (#21957)
Diffstat (limited to 'readme.md')
0 files changed, 0 insertions, 0 deletions