diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-12-10 13:18:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-10 13:18:44 +0100 |
| commit | 4f8ae98446b262e2107efa1acc4b3f488f81f1d6 (patch) | |
| tree | da54a77f778fb63d4c2a0b019b1b32a2f71e7758 /nimpretty | |
| parent | 606b43ba1130b5672e91ddd156d81267634ed465 (diff) | |
| parent | 04a4ff56715aac0e7bef2abe62fa451c7c42d4e9 (diff) | |
| download | Nim-4f8ae98446b262e2107efa1acc4b3f488f81f1d6.tar.gz | |
Merge pull request #9914 from nc-x/fix-koch
Fixes #9913
Diffstat (limited to 'nimpretty')
0 files changed, 0 insertions, 0 deletions