diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2021-07-22 09:37:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-22 09:37:41 +0200 |
| commit | 58e27ebd4a16ca9f2ba24826d7162384d5321101 (patch) | |
| tree | 657c952451fa3ec9ddddc9848f4d58c6b7119e04 /copying.txt | |
| parent | d5b5827bc2a3724290d3257b0f2fa70004c37c97 (diff) | |
| download | Nim-58e27ebd4a16ca9f2ba24826d7162384d5321101.tar.gz | |
fixes #12815 (#18554)
Diffstat (limited to 'copying.txt')
0 files changed, 0 insertions, 0 deletions