diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2020-06-23 15:17:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-23 15:17:17 +0200 |
commit | 16bdc547b7726c3abfcc763d2410d5cd39481a54 (patch) | |
tree | 28d3a20cd52c64066866a4c750c011cb59c134c4 /nimpretty | |
parent | 4cb41f53f06995709d8f00587fbcaa34eb555b7b (diff) | |
download | Nim-16bdc547b7726c3abfcc763d2410d5cd39481a54.tar.gz |
fixes #14760 (#14769)
Diffstat (limited to 'nimpretty')
0 files changed, 0 insertions, 0 deletions