diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2020-09-20 01:07:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-20 01:07:13 +0200 |
| commit | ebb632ccba0d786b90684e4da2b393cfae04a24c (patch) | |
| tree | fbc639f80d19dfab02623c29c69323fc4d2389df /lib/deprecated/pure | |
| parent | a15d77df7e324f6cda831bf44ced7a5a8bd93ef4 (diff) | |
| download | Nim-ebb632ccba0d786b90684e4da2b393cfae04a24c.tar.gz | |
fixes #15369 (#15371)
Diffstat (limited to 'lib/deprecated/pure')
0 files changed, 0 insertions, 0 deletions