diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2020-05-13 22:17:38 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2020-05-13 22:17:38 +0200 |
| commit | 79fe87500ff550bba5a2145d2cc405c9e0c944af (patch) | |
| tree | e2e4170e5fea07ac106785fa9274aeedcceac072 /.github | |
| parent | 3573a4f9c13ff2f68afbd1931fc06cc463eb1748 (diff) | |
| download | Nim-79fe87500ff550bba5a2145d2cc405c9e0c944af.tar.gz | |
fixes #13935
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions