diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2019-06-08 00:00:00 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2019-06-08 00:00:00 +0200 |
| commit | 9f82e07b2dc2ea89e1e35d5ec470fae84eab66b4 (patch) | |
| tree | 0a9654fa2dbb34d9a58bd725d7d5d805279eed86 /tools | |
| parent | 2c03c9f42e882eaff4f8e8fa358b9c66ecdd803a (diff) | |
| download | Nim-9f82e07b2dc2ea89e1e35d5ec470fae84eab66b4.tar.gz | |
nimpretty: fixes #10156 [bugfix]
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions