diff options
| author | Araq <rumpf_a@web.de> | 2018-08-31 11:19:33 +0200 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2018-08-31 11:19:42 +0200 |
| commit | bacf08e65d614f515b0feb73e549090dce012f3f (patch) | |
| tree | 46e3e7140302a1dc97f440cb3b37f6dd17c0ddf3 /nimpretty | |
| parent | 47c7fd037ed28b7de3d120b003d059d30e18f128 (diff) | |
| download | Nim-bacf08e65d614f515b0feb73e549090dce012f3f.tar.gz | |
merged #8624 manually; fixes #8442; closes #8575
Diffstat (limited to 'nimpretty')
0 files changed, 0 insertions, 0 deletions