diff options
author | cooldome <cdome@bk.ru> | 2020-04-08 18:51:23 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-08 19:51:23 +0200 |
commit | 7b582fd6a63e9fc62afbbcde2fc54192c199f04f (patch) | |
tree | 289c807ded5162d333503eec6f3cb01a6df68ef8 /tools | |
parent | bff742cd8b15556dd7bc7efd3a4ef258f5e0a2a1 (diff) | |
download | Nim-7b582fd6a63e9fc62afbbcde2fc54192c199f04f.tar.gz |
fixes #13863 (#13929)
Co-authored-by: cooldome <ariabushenko@bk.ru>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions